# DbgInfo

dbgComments: JuicyPixels-3.2.6.1
modName: Codec.Picture.Jpg.FastDct
functionName: referenceDct
functionType:
forall s.
MutableMacroBlock s Int32
-> MutableMacroBlock s Int16 -> ST s (MutableMacroBlock s Int32)


dbgComments: diagrams-lib-1.3.0.3
modName: Diagrams.Segment
functionName: $catParam
functionType:
forall (v :: * -> *) n.
(Additive v, Num n) =>
Segment Closed v n
-> N (Segment Closed v n)
-> Codomain (Segment Closed v n) (N (Segment Closed v n))


dbgComments: diagrams-lib-1.3.0.3
modName: Diagrams.Tangent
functionName: $catParam
functionType:
forall (v :: * -> *) n.
(Additive v, Num n) =>
Tangent (Segment Closed v n)
-> N (Tangent (Segment Closed v n))
-> Codomain
     (Tangent (Segment Closed v n)) (N (Tangent (Segment Closed v n)))


dbgComments: Rasterific-0.6.1
modName: Graphics.Rasterific.Shading
functionName: radialGradientWithFocusShader
functionType:
forall px.
ModulablePixel px =>
Gradient px
-> Point -> Float -> Point -> SamplerRepeat -> ShaderFunction px


dbgComments: diagrams-rasterific-1.3.1.3
modName: Diagrams.Backend.Rasterific
functionName: $crender
functionType:
forall n.
(Transformable (Text n), TypeableFloat n) =>
Rasterific -> Text n -> Render Rasterific (V (Text n)) (N (Text n))


dbgComments: Chart-1.5.3
modName: Graphics.Rendering.Chart.Plot.AreaSpots
functionName: renderAreaSpots4D
functionType:
forall z t x y.
(PlotValue z, PlotValue t, Show t) =>
AreaSpots4D z t x y -> PointMapFn x y -> ChartBackend ()


dbgComments: random-fu-0.2.6.2
modName: Data.Random.Distribution.Beta
functionName: fractionalBeta
functionType:
forall a (m :: * -> *).
(Fractional a, Eq a, Distribution Gamma a,
 Distribution StdUniform a) =>
a -> a -> RVarT m a


dbgComments: random-fu-0.2.6.2
modName: Data.Random.Distribution.Binomial
functionName: integralBinomial
functionType:
forall a b (m :: * -> *).
(Integral a, Floating b, Ord b, Distribution Beta b,
 Distribution StdUniform b) =>
a -> b -> RVarT m a


dbgComments: plot-0.2.3.4
modName: Graphics.Rendering.Plot.Render.Plot.Legend
functionName: renderLegendOutside
functionType:
Bool
-> LegendLocation
-> Double
-> Double
-> TextOptions
-> Int
-> [(SeriesLabel, Decoration)]
-> Render (Padding -> Render ())


dbgComments: plot-0.2.3.4
modName: Graphics.Rendering.Plot.Render.Plot.Legend
functionName: renderLegendInside
functionType:
Bool
-> LegendLocation
-> Double
-> Double
-> TextOptions
-> Int
-> [(SeriesLabel, Decoration)]
-> Render ()


dbgComments: plot-0.2.3.4
modName: Graphics.Rendering.Plot.Render.Plot.Axis
functionName: renderAxisTick
functionType:
PangoContext
-> TextOptions
-> Double
-> Double
-> Double
-> Double
-> Scale
-> Double
-> Double
-> AxisType
-> AxisPosn
-> TickFormat
-> Tick
-> LineType
-> (Double, Double, Double, Maybe TextEntry)
-> Render ()


dbgComments: plot-0.2.3.4
modName: Graphics.Rendering.Plot.Render.Plot.Axis
functionName: renderAxisTicks
functionType:
Ranges
-> AxisType
-> AxisPosn
-> Maybe Ticks
-> Maybe Ticks
-> TickFormat
-> [TextEntry]
-> Render ()


dbgComments: math-functions-0.1.5.2
modName: Statistics.Distribution.Transform
functionName: $cvariance
functionType:
forall d.
(Mean (LinearTransform d), MaybeVariance (LinearTransform d),
 Variance d) =>
LinearTransform d -> Double


# StabilizerResults

cmdin: (+ herbie0 (/ (* herbie1 (- herbie2 herbie3)) herbie4))
cmdout:
(if (< herbie1 -1.0761266216389975e-10) (+ herbie0 (/ 1 (/ (/ herbie4 (- herbie2 herbie3)) herbie1))) (if (< herbie1 2.894426862792089e-49) (+ herbie0 (/ (* herbie1 (- herbie2 herbie3)) herbie4)) (+ herbie0 (/ herbie1 (/ herbie4 (- herbie2 herbie3))))))


cmdin: (- herbie0 (/ (* herbie1 (- herbie2 herbie3)) herbie4))
cmdout:
(if (< herbie1 -1.0761266216389975e-10) (- herbie0 (/ 1 (/ (/ herbie4 (- herbie2 herbie3)) herbie1))) (if (< herbie1 2.894426862792089e-49) (- herbie0 (/ (* herbie1 (- herbie2 herbie3)) herbie4)) (- herbie0 (/ herbie1 (/ herbie4 (- herbie2 herbie3))))))


cmdin:
(+ (- (* herbie0 (- (* herbie1 herbie2) (* herbie3 herbie4))) (* herbie5 (- (* herbie6 herbie2) (* herbie3 herbie7)))) (* herbie8 (- (* herbie6 herbie4) (* herbie1 herbie7))))

cmdout:
(if (< herbie0 -1.469694296777705e-64) (+ (- (* herbie0 (- (* herbie1 herbie2) (* herbie3 herbie4))) (/ (* herbie5 (- (sqr (* herbie6 herbie2)) (sqr (* herbie3 herbie7)))) (+ (* herbie6 herbie2) (* herbie3 herbie7)))) (* herbie8 (- (* herbie6 herbie4) (* herbie1 herbie7)))) (if (< herbie0 3.2113527362226803e-147) (- (* (- (* herbie5 herbie7) (* herbie0 herbie4)) herbie3) (- (* herbie2 (* herbie6 herbie5)) (* herbie8 (- (* herbie6 herbie4) (* herbie1 herbie7))))) (+ (- (* herbie0 (- (* herbie1 herbie2) (* herbie3 herbie4))) (/ (* herbie5 (- (sqr (* herbie6 herbie2)) (sqr (* herbie3 herbie7)))) (+ (* herbie6 herbie2) (* herbie3 herbie7)))) (* herbie8 (- (* herbie6 herbie4) (* herbie1 herbie7))))))


cmdin: (/ (- (* herbie0 herbie1) (* herbie2 herbie3)) herbie4)
cmdout:
(if (< herbie2 -2.468684968699548e+170) (- (* (/ herbie1 herbie4) herbie0) (* (/ herbie3 herbie4) herbie2)) (if (< herbie2 6.309831121978371e-71) (/ (- (* herbie0 herbie1) (* herbie2 herbie3)) herbie4) (- (* (/ herbie1 herbie4) herbie0) (* (/ herbie3 herbie4) herbie2))))


cmdin: (* herbie0 (- 1.0 (* (- 1.0 herbie1) herbie2)))
cmdout:
(if (< (* herbie0 (- 1.0 (* (- 1.0 herbie1) herbie2))) -1.618195973607049e+50) (+ herbie0 (* (- 1.0 herbie1) (* (- herbie2) herbie0))) (if (< (* herbie0 (- 1.0 (* (- 1.0 herbie1) herbie2))) 3.892237649663903e+134) (- (* (* herbie0 herbie1) herbie2) (- (* herbie0 herbie2) herbie0)) (+ herbie0 (* (- 1.0 herbie1) (* (- herbie2) herbie0)))))


cmdin: (/ (- herbie0 (* herbie1 herbie2)) (- herbie3 (* herbie4 herbie2)))
cmdout:
(if (< herbie2 -32113435955957344.0) (- (/ herbie0 (- herbie3 (* herbie4 herbie2))) (/ herbie1 (- (/ herbie3 herbie2) herbie4))) (if (< herbie2 3.5139522372978296e-86) (* (- herbie0 (* herbie1 herbie2)) (/ 1 (- herbie3 (* herbie4 herbie2)))) (- (/ herbie0 (- herbie3 (* herbie4 herbie2))) (/ herbie1 (- (/ herbie3 herbie2) herbie4)))))


cmdin: (/ herbie0 (- herbie1 (* herbie2 herbie3)))
cmdout:
(if (< herbie0 -1.618195973607049e+50) (/ 1 (- (/ herbie1 herbie0) (* (/ herbie2 herbie0) herbie3))) (if (< herbie0 2.1378306434876444e+131) (/ herbie0 (- herbie1 (* herbie2 herbie3))) (/ 1 (- (/ herbie1 herbie0) (* (/ herbie2 herbie0) herbie3)))))


cmdin: (- herbie0 (* herbie1 herbie2))
cmdout:
(/ (+ herbie0 (* herbie1 herbie2)) (/ (+ herbie0 (* herbie1 herbie2)) (- herbie0 (* herbie1 herbie2))))


cmdin: (/ (* herbie0 herbie1) herbie2)
cmdout:
(if (< herbie2 -4.262230790519429e-138) (/ (* herbie0 herbie1) herbie2) (if (< herbie2 1.7042130660650472e-164) (/ herbie0 (/ herbie2 herbie1)) (* (/ herbie0 herbie2) herbie1)))


cmdin: (/ (+ herbie0 (/ (* herbie1 herbie2) herbie3)) (+ (+ herbie4 1.0) (/ (* herbie1 herbie5) herbie3)))
cmdout:
(if (< herbie3 -1.3659085366310088e-271) (* 1 (* (+ herbie0 (* (/ herbie1 herbie3) herbie2)) (/ 1 (+ (+ herbie4 1.0) (* (/ herbie1 herbie3) herbie5))))) (if (< herbie3 3.036967103737246e-130) (/ herbie2 herbie5) (* 1 (* (+ herbie0 (* (/ herbie1 herbie3) herbie2)) (/ 1 (+ (+ herbie4 1.0) (* (/ herbie1 herbie3) herbie5)))))))


cmdin: (+ (- (* herbie0 2.0) (* (* (* herbie1 9.0) herbie2) herbie3)) (* (* herbie4 27.0) herbie5))
cmdout:
(if (< herbie1 7.590524218811189e-161) (+ (- (* herbie0 2.0) (* (* (* herbie1 9.0) herbie2) herbie3)) (* herbie4 (* 27.0 herbie5))) (+ (- (* herbie0 2.0) (* 9.0 (* herbie1 (* herbie3 herbie2)))) (* (* herbie4 27.0) herbie5)))


cmdin:
(- (- (+ (- (* (* (* (* herbie0 18.0) herbie1) herbie2) herbie3) (* (* herbie4 4.0) herbie3)) (* herbie5 herbie6)) (* (* herbie0 4.0) herbie7)) (* (* herbie8 27.0) herbie9))

cmdout:
(if (< herbie3 -1.6210815397541398e-69) (- (- (* (* 18.0 herbie3) (* (* herbie0 herbie1) herbie2)) (* (+ (* herbie4 herbie3) (* herbie7 herbie0)) 4.0)) (- (* (* herbie9 herbie8) 27.0) (* herbie6 herbie5))) (if (< herbie3 165.68027943805222) (+ (- (* (* 18.0 herbie1) (* herbie0 (* herbie2 herbie3))) (* (+ (* herbie4 herbie3) (* herbie7 herbie0)) 4.0)) (- (* herbie6 herbie5) (* 27.0 (* herbie9 herbie8)))) (- (- (* (* 18.0 herbie3) (* (* herbie0 herbie1) herbie2)) (* (+ (* herbie4 herbie3) (* herbie7 herbie0)) 4.0)) (- (* (* herbie9 herbie8) 27.0) (* herbie6 herbie5)))))


cmdin: (/ (- (* herbie0 herbie1) (* (* herbie2 9.0) herbie3)) (* herbie4 2.0))
cmdout:
(if (< herbie4 -2.090464557976709e+86) (- (* 0.5 (/ (* herbie1 herbie0) herbie4)) (* 4.5 (/ herbie3 (/ herbie4 herbie2)))) (if (< herbie4 2.144030707833976e+99) (/ (- (* herbie0 herbie1) (* herbie2 (* 9.0 herbie3))) (* herbie4 2.0)) (- (* (/ herbie1 herbie4) (* herbie0 0.5)) (* (/ herbie3 herbie4) (* herbie2 4.5)))))


cmdin:
(/ (+ (- (* (* herbie0 9.0) herbie1) (* (* (* herbie2 4.0) herbie3) herbie4)) herbie5) (* herbie2 herbie6))

cmdout:
(if (< (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* (* herbie2 4.0) herbie3) herbie4)) herbie5) (* herbie2 herbie6)) -1.100156740804105e-171) (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* herbie2 4.0) (* herbie3 herbie4))) herbie5) (* herbie2 herbie6)) (if (< (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* (* herbie2 4.0) herbie3) herbie4)) herbie5) (* herbie2 herbie6)) -0.0) (/ (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* (* herbie2 4.0) herbie3) herbie4)) herbie5) herbie2) herbie6) (if (< (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* (* herbie2 4.0) herbie3) herbie4)) herbie5) (* herbie2 herbie6)) 1.1708877911747488e-53) (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* herbie2 4.0) (* herbie3 herbie4))) herbie5) (* herbie2 herbie6)) (if (< (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* (* herbie2 4.0) herbie3) herbie4)) herbie5) (* herbie2 herbie6)) 2.876823679546137e+130) (- (+ (* (* 9.0 (/ herbie1 herbie6)) (/ herbie0 herbie2)) (/ herbie5 (* herbie6 herbie2))) (* 4.0 (/ (* herbie4 herbie3) herbie6))) (if (< (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* (* herbie2 4.0) herbie3) herbie4)) herbie5) (* herbie2 herbie6)) 1.3838515042456319e+158) (/ (+ (- (* (* herbie0 9.0) herbie1) (* (* herbie2 4.0) (* herbie3 herbie4))) herbie5) (* herbie2 herbie6)) (- (+ (* 9.0 (* (/ herbie1 (* herbie6 herbie2)) herbie0)) (/ herbie5 (* herbie6 herbie2))) (* 4.0 (/ (* herbie4 herbie3) herbie6))))))))


cmdin:
(- (* (* 2.0 (sqrt herbie0)) (cos (- herbie1 (/ (* herbie2 herbie3) 3.0)))) (/ herbie4 (* herbie5 3.0)))

cmdout:
(if (< herbie2 -1.3793337487235141e+129) (- (* (* 2.0 (sqrt herbie0)) (cos (- (/ 1 herbie1) (/ (/ 0.3333333333333333 herbie2) herbie3)))) (/ (/ herbie4 3.0) herbie5)) (if (< herbie2 3.516290613555987e+106) (- (* (* (sqrt herbie0) 2.0) (cos (- herbie1 (* (/ herbie3 3.0) herbie2)))) (/ (/ herbie4 3.0) herbie5)) (- (* (cos (- herbie1 (/ (/ 0.3333333333333333 herbie2) herbie3))) (* 2.0 (sqrt herbie0))) (/ (/ herbie4 herbie5) 3.0))))


cmdin: (/ (* herbie0 (/ (sin herbie1) herbie1)) herbie2)
cmdout:
(if (< herbie2 -4.2173720203427147e-29) (/ (* herbie0 (/ 1 (/ herbie1 (sin herbie1)))) herbie2) (if (< herbie2 4.446702369113811e+64) (/ herbie0 (* herbie2 (/ herbie1 (sin herbie1)))) (/ (* herbie0 (/ 1 (/ herbie1 (sin herbie1)))) herbie2)))


cmdin: (/ (* (cosh herbie0) (/ herbie1 herbie0)) herbie2)
cmdout:
(if (< herbie1 -4.618902267687042e-52) (* (/ (/ herbie1 herbie2) herbie0) (cosh herbie0)) (if (< herbie1 1.038530535935153e-39) (/ (/ (* (cosh herbie0) herbie1) herbie0) herbie2) (* (/ (/ herbie1 herbie2) herbie0) (cosh herbie0))))


cmdin: (sqrt (+ (* herbie0 herbie0) herbie1))
cmdout:
(if (< herbie0 -1.5097698010472593e+153) (- (+ (* 1/2 (/ herbie1 herbie0)) herbie0)) (if (< herbie0 5.582399551122541e+57) (sqrt (+ (sqr herbie0) herbie1)) (+ (* 1/2 (/ herbie1 herbie0)) herbie0)))


cmdin:
(+ (- (+ (+ (- (* (- (* herbie0 herbie1) (* herbie2 herbie3)) (- (* herbie4 herbie5) (* herbie6 herbie7))) (* (- (* herbie0 herbie8) (* herbie2 herbie9)) (- (* herbie10 herbie5) (* herbie11 herbie7)))) (* (- (* herbie0 herbie12) (* herbie2 herbie13)) (- (* herbie10 herbie6) (* herbie11 herbie4)))) (* (- (* herbie3 herbie8) (* herbie1 herbie9)) (- (* herbie14 herbie5) (* herbie15 herbie7)))) (* (- (* herbie3 herbie12) (* herbie1 herbie13)) (- (* herbie14 herbie6) (* herbie15 herbie4)))) (* (- (* herbie9 herbie12) (* herbie8 herbie13)) (- (* herbie14 herbie11) (* herbie15 herbie10))))

cmdout:
(if (< herbie14 -7.206256231996481e+60) (- (- (* (- (* herbie5 herbie4) (* herbie7 herbie6)) (- (* herbie1 herbie0) (* herbie3 herbie2))) (- (* (- (* herbie8 herbie0) (* herbie9 herbie2)) (- (* herbie10 herbie5) (* herbie7 herbie11))) (* (- (* herbie8 herbie3) (* herbie9 herbie1)) (- (* herbie14 herbie5) (* herbie15 herbie7))))) (- (/ (- (* herbie12 herbie3) (* herbie13 herbie1)) (/ 1 (- (* herbie14 herbie6) (* herbie15 herbie4)))) (* (- (* herbie12 herbie9) (* herbie13 herbie8)) (- (* herbie14 herbie11) (* herbie15 herbie10))))) (if (< herbie14 -3.364603505246317e-66) (+ (- (- (- (* (* herbie3 herbie6) (* herbie7 herbie2)) (* (* herbie4 herbie3) (* herbie5 herbie2))) (* (* herbie1 herbie6) (* herbie7 herbie0))) (* (- (* herbie5 herbie10) (* herbie7 herbie11)) (- (* herbie8 herbie0) (* herbie9 herbie2)))) (- (* (- (* herbie10 herbie6) (* herbie4 herbie11)) (- (* herbie0 herbie12) (* herbie2 herbie13))) (- (* (- (* herbie3 herbie12) (* herbie1 herbie13)) (- (* herbie14 herbie6) (* herbie4 herbie15))) (* (- (* herbie11 herbie14) (* herbie15 herbie10)) (- (* herbie9 herbie12) (* herbie8 herbie13)))))) (if (< herbie14 -1.2000065055686116e-105) (+ (+ (- (* (- (* herbie8 herbie3) (* herbie9 herbie1)) (- (* herbie14 herbie5) (* herbie15 herbie7))) (* (* herbie13 herbie1) (- (* herbie15 herbie4) (* herbie14 herbie6)))) (+ (* (* herbie15 herbie4) (* herbie3 herbie12)) (* (- (* herbie9 herbie12) (* herbie8 herbie13)) (- (* herbie14 herbie11) (* herbie15 herbie10))))) (- (* (- (* herbie0 herbie12) (* herbie2 herbie13)) (- (* herbie6 herbie10) (* herbie4 herbie11))) (- (* (- (* herbie5 herbie10) (* herbie7 herbie11)) (- (* herbie8 herbie0) (* herbie9 herbie2))) (* (- (* herbie1 herbie0) (* herbie2 herbie3)) (- (* herbie5 herbie4) (* herbie7 herbie6)))))) (if (< herbie14 6.718963124057495e-279) (+ (- (- (- (* (* herbie9 herbie1) (* herbie15 herbie7)) (* (* herbie1 herbie5) (* herbie14 herbie9))) (* (* herbie15 herbie3) (* herbie7 herbie8))) (- (* (- (* herbie12 herbie3) (* herbie13 herbie1)) (- (* herbie14 herbie6) (* herbie15 herbie4))) (* (- (* herbie12 herbie9) (* herbie13 herbie8)) (- (* herbie14 herbie11) (* herbie15 herbie10))))) (- (* (- (* herbie5 herbie4) (* herbie7 herbie6)) (- (* herbie1 herbie0) (* herbie3 herbie2))) (- (* (- (* herbie8 herbie0) (* herbie9 herbie2)) (- (* herbie10 herbie5) (* herbie7 herbie11))) (* (- (* herbie12 herbie0) (* herbie13 herbie2)) (- (* herbie6 herbie10) (* herbie11 herbie4)))))) (if (< herbie14 4.77962681403792e-222) (+ (+ (- (* (- (* herbie8 herbie3) (* herbie9 herbie1)) (- (* herbie14 herbie5) (* herbie15 herbie7))) (* (* herbie13 herbie1) (- (* herbie15 herbie4) (* herbie14 herbie6)))) (+ (* (* herbie15 herbie4) (* herbie3 herbie12)) (* (- (* herbie9 herbie12) (* herbie8 herbie13)) (- (* herbie14 herbie11) (* herbie15 herbie10))))) (- (* (- (* herbie0 herbie12) (* herbie2 herbie13)) (- (* herbie6 herbie10) (* herbie4 herbie11))) (- (* (- (* herbie5 herbie10) (* herbie7 herbie11)) (- (* herbie8 herbie0) (* herbie9 herbie2))) (* (- (* herbie1 herbie0) (* herbie2 herbie3)) (- (* herbie5 herbie4) (* herbie7 herbie6)))))) (if (< herbie14 2.2852241541266835e-175) (+ (- (- (- (* (* herbie9 herbie1) (* herbie15 herbie7)) (* (* herbie1 herbie5) (* herbie14 herbie9))) (* (* herbie15 herbie3) (* herbie7 herbie8))) (- (* (- (* herbie12 herbie3) (* herbie13 herbie1)) (- (* herbie14 herbie6) (* herbie15 herbie4))) (* (- (* herbie12 herbie9) (* herbie13 herbie8)) (- (* herbie14 herbie11) (* herbie15 herbie10))))) (- (* (- (* herbie5 herbie4) (* herbie7 herbie6)) (- (* herbie1 herbie0) (* herbie3 herbie2))) (- (* (- (* herbie8 herbie0) (* herbie9 herbie2)) (- (* herbie10 herbie5) (* herbie7 herbie11))) (* (- (* herbie12 herbie0) (* herbie13 herbie2)) (- (* herbie6 herbie10) (* herbie11 herbie4)))))) (+ (- (+ (+ (- (* (- (* herbie0 herbie1) (* herbie2 herbie3)) (- (* herbie4 herbie5) (* herbie6 herbie7))) (- (* herbie9 (* herbie7 (* herbie2 herbie11))) (+ (* herbie8 (* herbie7 (* herbie0 herbie11))) (* herbie10 (* herbie9 (* herbie2 herbie5)))))) (- (* herbie2 (* herbie13 (* herbie4 herbie11))) (+ (* herbie12 (* herbie0 (* herbie4 herbie11))) (* herbie10 (* herbie2 (* herbie6 herbie13)))))) (* (- (* herbie3 herbie8) (* herbie1 herbie9)) (- (* herbie14 herbie5) (* herbie15 herbie7)))) (* (- (* herbie3 herbie12) (* herbie1 herbie13)) (- (* herbie14 herbie6) (* herbie15 herbie4)))) (* (- (* herbie9 herbie12) (* herbie8 herbie13)) (- (* herbie14 herbie11) (* herbie15 herbie10))))))))))


cmdin:
(+ (- (* herbie0 (- (* herbie1 herbie2) (* herbie3 herbie4))) (* herbie5 (- (* herbie6 herbie2) (* herbie7 herbie4)))) (* herbie8 (- (* herbie6 herbie3) (* herbie7 herbie1))))

cmdout:
(if (< herbie3 -8.120978919195912e-33) (- (* herbie0 (- (* herbie2 herbie1) (* herbie4 herbie3))) (- (* herbie5 (- (* herbie2 herbie6) (* herbie4 herbie7))) (* (- (* herbie6 herbie3) (* herbie1 herbie7)) herbie8))) (if (< herbie3 -4.712553818218485e-169) (+ (- (* herbie0 (- (* herbie1 herbie2) (* herbie3 herbie4))) (* herbie5 (- (* herbie6 herbie2) (* herbie7 herbie4)))) (/ (* herbie8 (- (sqr (* herbie6 herbie3)) (sqr (* herbie7 herbie1)))) (+ (* herbie6 herbie3) (* herbie7 herbie1)))) (if (< herbie3 -7.633533346031584e-308) (- (* herbie0 (- (* herbie2 herbie1) (* herbie4 herbie3))) (- (* herbie5 (- (* herbie2 herbie6) (* herbie4 herbie7))) (* (- (* herbie6 herbie3) (* herbie1 herbie7)) herbie8))) (if (< herbie3 1.0535888557455487e-139) (+ (- (* herbie0 (- (* herbie1 herbie2) (* herbie3 herbie4))) (* herbie5 (- (* herbie6 herbie2) (* herbie7 herbie4)))) (/ (* herbie8 (- (sqr (* herbie6 herbie3)) (sqr (* herbie7 herbie1)))) (+ (* herbie6 herbie3) (* herbie7 herbie1)))) (- (* herbie0 (- (* herbie2 herbie1) (* herbie4 herbie3))) (- (* herbie5 (- (* herbie2 herbie6) (* herbie4 herbie7))) (* (- (* herbie6 herbie3) (* herbie1 herbie7)) herbie8)))))))


cmdin: (* (- (* herbie0 herbie1) (* herbie2 herbie1)) herbie3)
cmdout:
(if (< herbie3 -9.231879582886777e-80) (* (* herbie1 herbie3) (- herbie0 herbie2)) (if (< herbie3 2.543067051564877e+83) (* herbie1 (* herbie3 (- herbie0 herbie2))) (* (* herbie1 (- herbie0 herbie2)) herbie3)))


cmdin: (/ (* herbie0 2.0) (- (* herbie1 herbie2) (* herbie3 herbie2)))
cmdout:
(if (< (/ (* herbie0 2.0) (- (* herbie1 herbie2) (* herbie3 herbie2))) -2.559141628295061e-13) (* (/ herbie0 (* (- herbie1 herbie3) herbie2)) 2.0) (if (< (/ (* herbie0 2.0) (- (* herbie1 herbie2) (* herbie3 herbie2))) 1.045027827330126e-269) (/ (* (/ herbie0 herbie2) 2.0) (- herbie1 herbie3)) (* (/ herbie0 (* (- herbie1 herbie3) herbie2)) 2.0)))


cmdin: (/ (* (* herbie0 2.0) herbie1) (- herbie0 herbie1))
cmdout:
(if (< herbie0 -1.7210442634149447e+81) (* (/ (* 2.0 herbie0) (- herbie0 herbie1)) herbie1) (if (< herbie0 8.364504563556443e+16) (/ (* herbie0 2.0) (/ (- herbie0 herbie1) herbie1)) (* (/ (* 2.0 herbie0) (- herbie0 herbie1)) herbie1)))


cmdin:
(* (* herbie0 (cos (/ (* (* (+ (* herbie1 2.0) 1.0) herbie2) herbie3) 16.0))) (cos (/ (* (* (+ (* herbie4 2.0) 1.0) herbie5) herbie3) 16.0)))

cmdout:
(* herbie0 (cos (* (/ herbie5 16.0) (/ herbie3 (+ (- 1.0 (* herbie4 2.0)) (sqr (* herbie4 2.0)))))))


cmdin:
(+ (+ (+ (- (sqrt (+ herbie0 1.0)) (sqrt herbie0)) (- (sqrt (+ herbie1 1.0)) (sqrt herbie1))) (- (sqrt (+ herbie2 1.0)) (sqrt herbie2))) (- (sqrt (+ herbie3 1.0)) (sqrt herbie3)))

cmdout:
(+ (+ (+ (/ 1.0 (+ (sqrt (+ herbie0 1.0)) (sqrt herbie0))) (/ 1.0 (+ (sqrt (+ herbie1 1.0)) (sqrt herbie1)))) (/ 1.0 (+ (sqrt (+ herbie2 1.0)) (sqrt herbie2)))) (- (sqrt (+ herbie3 1.0)) (sqrt herbie3)))


cmdin:
(* 2.0 (- (+ (* herbie0 herbie1) (* herbie2 herbie3)) (* (* (+ herbie4 (* herbie5 herbie6)) herbie6) herbie7)))

cmdout:
(* 2.0 (- (+ (* herbie0 herbie1) (* herbie2 herbie3)) (* (+ herbie4 (* herbie5 herbie6)) (* herbie6 herbie7))))


cmdin: (/ (* herbie0 (+ (- herbie1 herbie2) 1.0)) herbie2)
cmdout:
(if (< herbie0 -2.71483106713436e-162) (- (* (+ 1 herbie1) (/ herbie0 herbie2)) herbie0) (if (< herbie0 3.874108816439546e-197) (* (* herbie0 (+ (- herbie1 herbie2) 1.0)) (/ 1 herbie2)) (- (* (+ 1 herbie1) (/ herbie0 herbie2)) herbie0)))


cmdin: (/ (+ herbie0 (/ (- (* herbie1 herbie2) herbie0) (- (* herbie3 herbie2) herbie0))) (+ herbie0 1.0))
cmdout:
(/ (+ herbie0 (- (/ herbie1 (- herbie3 (/ herbie0 herbie2))) (/ herbie0 (- (* herbie3 herbie2) herbie0)))) (+ herbie0 1.0))


cmdin: (/ (* herbie0 herbie1) (+ herbie1 1.0))
cmdout:
(if (< herbie1 -3693.8482788297247) (- (/ herbie0 (sqr herbie1)) (- (/ herbie0 herbie1) herbie0)) (if (< herbie1 6799310503.41891) (/ (* herbie0 herbie1) (+ herbie1 1.0)) (- (/ herbie0 (sqr herbie1)) (- (/ herbie0 herbie1) herbie0))))


cmdin: (- 1.0 (/ (* (- 1.0 herbie0) herbie1) (+ herbie1 1.0)))
cmdout:
(if (< herbie1 -3693.8482788297247) (- (/ 1.0 herbie1) (- (/ herbie0 herbie1) herbie0)) (if (< herbie1 6799310503.41891) (- 1.0 (/ (* (- 1.0 herbie0) herbie1) (+ herbie1 1.0))) (- (/ 1.0 herbie1) (- (/ herbie0 herbie1) herbie0))))


cmdin:
(/ (- (* herbie0 herbie0) (* (* herbie1 4.0) herbie1)) (+ (* herbie0 herbie0) (* (* herbie1 4.0) herbie1)))

cmdout:
(if (< (/ (- (* herbie0 herbie0) (* (* herbie1 4.0) herbie1)) (+ (* herbie0 herbie0) (* (* herbie1 4.0) herbie1))) 0.9743233849626781) (- (/ (sqr herbie0) (+ (sqr herbie0) (* (sqr herbie1) 4.0))) (/ (* (sqr herbie1) 4.0) (+ (sqr herbie0) (* (sqr herbie1) 4.0)))) (- (sqr (/ herbie0 (sqrt (+ (sqr herbie0) (* (sqr herbie1) 4.0))))) (/ (* (sqr herbie1) 4.0) (+ (sqr herbie0) (* (sqr herbie1) 4.0)))))


cmdin: (+ herbie0 (/ (* (- herbie1 herbie2) (- herbie3 herbie0)) (- herbie4 herbie2)))
cmdout:
(if (< herbie2 -1.2536131056095036e+188) (- herbie3 (* (/ herbie1 herbie2) (- herbie3 herbie0))) (if (< herbie2 4.446702369113811e+64) (+ herbie0 (/ (- herbie1 herbie2) (/ (- herbie4 herbie2) (- herbie3 herbie0)))) (- herbie3 (* (/ herbie1 herbie2) (- herbie3 herbie0)))))


cmdin: (sqrt (+ (* herbie0 herbie0) (* herbie1 herbie1)))
cmdout:
(if (< herbie0 -1.1236950826599826e+145) (- herbie0) (if (< herbie0 1.116557621183362e+93) (sqrt (+ (sqr herbie0) (sqr herbie1))) herbie0))


cmdin:
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin herbie0) (/ (sin herbie1) 16.0))) (- (sin herbie1) (/ (sin herbie0) 16.0))) (- (cos herbie0) (cos herbie1)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos herbie0))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos herbie1)))))

cmdout:
(/ (+ 2.0 (* (log (exp (* (* (sqrt 2.0) (- (sin herbie0) (/ (sin herbie1) 16.0))) (- (sin herbie1) (/ (sin herbie0) 16.0))))) (- (cos herbie0) (cos herbie1)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos herbie0))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos herbie1)))))


cmdin: (/ (tan (/ herbie0 (* herbie1 2.0))) (sin (/ herbie0 (* herbie1 2.0))))
cmdout:
(if (< herbie1 -1.2303690911306994e+114) 1.0 (if (< herbie1 -9.102852406811914e-222) (/ (sin (/ herbie0 (* herbie1 2.0))) (* (sin (/ herbie0 (* herbie1 2.0))) (log (exp (cos (/ herbie0 (* herbie1 2.0))))))) 1.0))


cmdin: (* 2.0 (sqrt (+ (+ (* herbie0 herbie1) (* herbie0 herbie2)) (* herbie1 herbie2))))
cmdout:
(if (< herbie2 7.636950090573675e+176) (* 2.0 (sqrt (+ (* (+ herbie0 herbie1) herbie2) (* herbie0 herbie1)))) (* (sqr (+ (* 1/4 (* (* (expt herbie1 -3/4) (* (expt herbie2 -3/4) herbie0)) (+ herbie1 herbie2))) (* (expt herbie2 1/4) (expt herbie1 1/4)))) 2.0))


cmdin: (* herbie0 (sqrt (- (* herbie1 herbie1) (* herbie2 herbie2))))
cmdout:
(if (< herbie1 2.5816096488251695e-278) (- (* herbie0 herbie1)) (* herbie0 (* (sqrt (+ herbie1 herbie2)) (sqrt (- herbie1 herbie2)))))


cmdin: (- herbie0 (/ (log (+ (- 1.0 herbie1) (* herbie1 (exp herbie2)))) herbie3))
cmdout:
(if (< herbie2 -2.8874623088207947e+119) (- (- herbie0 (/ (/ (- 0.5) (* herbie1 herbie3)) (sqr herbie2))) (* (/ (- 0.5) (* herbie1 herbie3)) (/ (/ 2.0 herbie2) (sqr herbie2)))) (- herbie0 (/ (log (+ 1.0 (* herbie2 herbie1))) herbie3)))


cmdin: (+ (+ (+ herbie0 (* herbie1 herbie2)) (* herbie3 herbie4)) (* (* herbie4 herbie2) herbie5))
cmdout:
(if (< herbie2 -1.1820553527347888e+19) (+ (* herbie2 (+ (* herbie5 herbie4) herbie1)) (+ herbie0 (* herbie3 herbie4))) (if (< herbie2 4.7589743188364287e-122) (+ (* (+ (* herbie5 herbie2) herbie3) herbie4) (+ (* herbie2 herbie1) herbie0)) (+ (* herbie2 (+ (* herbie5 herbie4) herbie1)) (+ herbie0 (* herbie3 herbie4)))))


cmdin: (* (* (- (* herbie0 0.5) herbie1) (sqrt (* herbie2 2.0))) (exp (/ (* herbie3 herbie3) 2.0)))
cmdout:
(* (* (- (* herbie0 0.5) herbie1) (sqrt (* herbie2 2.0))) (expt (exp 1) (/ (* herbie3 herbie3) 2.0)))


cmdin:
(/ (+ (* herbie0 herbie1) (* herbie2 (- herbie3 herbie4))) (+ herbie1 (* herbie2 (- herbie5 herbie1))))

cmdout:
(- (/ (+ (* herbie2 herbie3) (* herbie1 herbie0)) (+ herbie1 (* herbie2 (- herbie5 herbie1)))) (/ herbie4 (+ (- herbie5 herbie1) (/ herbie1 herbie2))))


cmdin: (+ herbie0 (/ (* (- herbie1 herbie0) herbie2) herbie3))
cmdout:
(if (< herbie0 -9.025511195533005e-135) (- herbie0 (* (/ herbie2 herbie3) (- herbie0 herbie1))) (if (< herbie0 4.275032163700715e-250) (+ herbie0 (* (/ (- herbie1 herbie0) herbie3) herbie2)) (+ herbie0 (/ (- herbie1 herbie0) (/ herbie3 herbie2)))))


cmdin: (+ herbie0 (/ (* (- herbie1 herbie0) (- herbie2 herbie3)) (- herbie4 herbie3)))
cmdout:
(if (< herbie4 -1.6153062845442575e-142) (+ herbie0 (* (/ (- herbie1 herbie0) 1) (/ (- herbie2 herbie3) (- herbie4 herbie3)))) (if (< herbie4 3.774403170083174e-182) (- herbie1 (* (/ herbie2 herbie3) (- herbie1 herbie0))) (+ herbie0 (* (/ (- herbie1 herbie0) 1) (/ (- herbie2 herbie3) (- herbie4 herbie3))))))


cmdin: (/ (+ herbie0 herbie1) (- 1.0 (/ herbie1 herbie2)))
cmdout:
(if (< herbie1 -3.7429310762689856e+171) (* (/ (+ herbie1 herbie0) (- herbie1)) herbie2) (if (< herbie1 3.5534662456086734e+168) (/ (+ herbie0 herbie1) (- 1.0 (/ herbie1 herbie2))) (* (/ (+ herbie1 herbie0) (- herbie1)) herbie2)))


cmdin: (* herbie0 (/ (* (/ herbie1 herbie2) herbie3) herbie3))
cmdout:
(if (< (/ (* (/ herbie1 herbie2) herbie3) herbie3) -1.20672205123045e+245) (/ herbie1 (/ herbie2 herbie0)) (if (< (/ (* (/ herbie1 herbie2) herbie3) herbie3) -5.907522236933906e-275) (* herbie0 (/ herbie1 herbie2)) (if (< (/ (* (/ herbie1 herbie2) herbie3) herbie3) 5.658954423153415e-65) (/ herbie1 (/ herbie2 herbie0)) (if (< (/ (* (/ herbie1 herbie2) herbie3) herbie3) 2.0087180502407133e+217) (* herbie0 (/ herbie1 herbie2)) (/ (* herbie1 herbie0) herbie2)))))


cmdin:
(/ (- (+ (* (+ herbie0 herbie1) herbie2) (* (+ herbie3 herbie1) herbie4)) (* herbie1 herbie5)) (+ (+ herbie0 herbie3) herbie1))

cmdout:
(if (< (/ (- (+ (* (+ herbie0 herbie1) herbie2) (* (+ herbie3 herbie1) herbie4)) (* herbie1 herbie5)) (+ (+ herbie0 herbie3) herbie1)) -3.5813117084150564e+153) (- (+ herbie2 herbie4) herbie5) (if (< (/ (- (+ (* (+ herbie0 herbie1) herbie2) (* (+ herbie3 herbie1) herbie4)) (* herbie1 herbie5)) (+ (+ herbie0 herbie3) herbie1)) 1.2285964308315609e+82) (/ 1 (/ (+ (+ herbie0 herbie3) herbie1) (- (+ (* (+ herbie0 herbie1) herbie2) (* (+ herbie3 herbie1) herbie4)) (* herbie1 herbie5)))) (- (+ herbie2 herbie4) herbie5)))


cmdin:
(* 0.70711 (- (/ (+ 2.30753 (* herbie0 0.27061)) (+ 1.0 (* herbie0 (+ 0.99229 (* herbie0 4.481e-2))))) herbie0))

cmdout:
(* 0.70711 (- (/ (+ 2.30753 (* herbie0 0.27061)) (+ 1.0 (* herbie0 (+ 0.99229 (* herbie0 0.04481))))) herbie0))


cmdin:
(+ herbie0 (/ (* herbie1 (+ (* (+ (* herbie2 6.92910599291889e-2) 0.4917317610505968) herbie2) 0.279195317918525)) (+ (* (+ herbie2 6.012459259764103) herbie2) 3.350343815022304)))

cmdout:
(if (< herbie2 -8120153.652456675) (- (* (+ (/ 0.07512208616047561 herbie2) 0.0692910599291889) herbie1) (- (/ (* 0.40462203869992125 herbie1) (sqr herbie2)) herbie0)) (if (< herbie2 6.576118972787377e+20) (+ herbie0 (* (* herbie1 (+ (* (+ (* herbie2 0.0692910599291889) 0.4917317610505968) herbie2) 0.279195317918525)) (/ 1 (+ (* (+ herbie2 6.012459259764103) herbie2) 3.350343815022304)))) (- (* (+ (/ 0.07512208616047561 herbie2) 0.0692910599291889) herbie1) (- (/ (* 0.40462203869992125 herbie1) (sqr herbie2)) herbie0))))


cmdin:
(/ (* (- herbie0 2.0) (+ (* (+ (* (+ (* (+ (* herbie0 4.16438922228) 78.6994924154) herbie0) 137.519416416) herbie0) herbie1) herbie0) herbie2)) (+ (* (+ (* (+ (* (+ herbie0 43.3400022514) herbie0) 263.505074721) herbie0) 313.399215894) herbie0) 47.066876606))

cmdout:
(if (< herbie0 -3.326128725870005e+62) (- (+ (/ herbie1 (sqr herbie0)) (* 4.16438922228 herbie0)) 110.1139242984811) (if (< herbie0 9.429991714554673e+55) (* (/ (- herbie0 2.0) 1) (/ (+ (* (+ (* (+ (* (+ (* herbie0 4.16438922228) 78.6994924154) herbie0) 137.519416416) herbie0) herbie1) herbie0) herbie2) (+ (* (+ (+ (* 263.505074721 herbie0) (+ (* 43.3400022514 (sqr herbie0)) (* herbie0 (* herbie0 herbie0)))) 313.399215894) herbie0) 47.066876606))) (- (+ (/ herbie1 (sqr herbie0)) (* 4.16438922228 herbie0)) 110.1139242984811)))


cmdin:
(+ herbie0 (/ (* herbie1 (+ (* (+ (* (+ (* (+ (* herbie2 3.13060547623) 11.1667541262) herbie2) herbie3) herbie2) herbie4) herbie2) herbie5)) (+ (* (+ (* (+ (* (+ herbie2 15.234687407) herbie2) 31.4690115749) herbie2) 11.9400905721) herbie2) 0.607771387771)))

cmdout:
(if (< herbie2 -6.499344996252632e+53) (+ herbie0 (* (+ (- 3.13060547623 (/ 36.527041698806414 herbie2)) (/ herbie3 (sqr herbie2))) (/ herbie1 1))) (if (< herbie2 7.066965436914287e+59) (+ herbie0 (/ herbie1 (/ (+ (* (+ (* (+ (* (+ herbie2 15.234687407) herbie2) 31.4690115749) herbie2) 11.9400905721) herbie2) 0.607771387771) (+ (* (+ (* (+ (* (+ (* herbie2 3.13060547623) 11.1667541262) herbie2) herbie3) herbie2) herbie4) herbie2) herbie5)))) (+ herbie0 (* (+ (- 3.13060547623 (/ 36.527041698806414 herbie2)) (/ herbie3 (sqr herbie2))) (/ herbie1 1)))))


cmdin:
(+ (+ (- (* (- herbie0 0.5) (log herbie0)) herbie0) 0.91893853320467) (/ (+ (* (- (* (+ herbie1 7.936500793651e-4) herbie2) 2.7777777777778e-3) herbie2) 8.3333333333333e-2) herbie0))

cmdout:
(+ (+ (+ (* (- herbie0 0.5) (log herbie0)) (- 0.91893853320467 herbie0)) (/ 0.083333333333333 herbie0)) (* (/ herbie2 herbie0) (- (* herbie2 (+ herbie1 0.0007936500793651)) 0.0027777777777778)))


cmdin: (+ (- (+ (+ herbie0 herbie1) herbie2) (* herbie2 (log herbie3))) (* (- herbie4 0.5) herbie5))
cmdout:
(+ (+ (+ herbie0 herbie1) (/ (* (- 1 (sqr (log herbie3))) herbie2) (+ 1 (log herbie3)))) (* (- herbie4 0.5) herbie5))


cmdin:
(+ (+ (+ (+ (+ (* herbie0 (log herbie1)) herbie2) herbie3) herbie4) (* (- herbie5 0.5) (log herbie6))) (* herbie1 herbie7))

cmdout:
(+ (+ (+ (+ (+ (* herbie0 (log herbie1)) herbie2) herbie3) herbie4) (* (- herbie5 0.5) (log herbie6))) (* herbie1 herbie7))


cmdin: (- 1.0 (log (- 1.0 (/ (- herbie0 herbie1) (- 1.0 herbie1)))))
cmdout:
(if (< herbie1 -81284752.61947241) (- 1.0 (log (- (/ herbie0 (sqr herbie1)) (- (/ 1.0 herbie1) (/ herbie0 herbie1))))) (if (< herbie1 3.0094271212461764e+25) (log (/ (exp 1.0) (- 1.0 (/ (- herbie0 herbie1) (- 1.0 herbie1))))) (- 1.0 (log (- (/ herbie0 (sqr herbie1)) (- (/ 1.0 herbie1) (/ herbie0 herbie1)))))))


cmdout: (- (/ (+ 2.30753 (* herbie0 0.27061)) (+ 1.0 (* herbie0 (+ 0.99229 (* herbie0 0.04481))))) herbie0)
cmdin:
(- (/ (+ 2.30753 (* herbie0 0.27061)) (+ 1.0 (* herbie0 (+ 0.99229 (* herbie0 4.481e-2))))) herbie0)


cmdin: (/ (* herbie0 herbie1) (* (* (+ herbie0 herbie1) (+ herbie0 herbie1)) (+ (+ herbie0 herbie1) 1.0)))
cmdout:
(/ (/ (/ herbie0 (+ (+ herbie1 1) herbie0)) (+ herbie1 herbie0)) (/ 1 (/ herbie1 (+ herbie1 herbie0))))


cmdin:
(* herbie0 (exp (+ (* herbie1 (- (log herbie2) herbie3)) (* herbie4 (- (log (- 1.0 herbie2)) herbie5)))))

cmdout:
(* herbie0 (exp (+ (* herbie1 (- (log herbie2) herbie3)) (* herbie4 (- (log (- 1.0 herbie2)) herbie5)))))


cmdin:
(/ (* herbie0 (exp (- (+ (* herbie1 (log herbie2)) (* (- herbie3 1.0) (log herbie4))) herbie5))) herbie1)

cmdout:
(if (< herbie3 -0.8845848504127471) (/ (* herbie0 (/ (expt herbie4 (- herbie3 1.0)) herbie1)) (- (+ herbie5 1) (* herbie1 (log herbie2)))) (if (< herbie3 852031.2288374073) (/ (* (/ herbie0 herbie1) (expt herbie4 (- herbie3 1.0))) (exp (- herbie5 (* (log herbie2) herbie1)))) (/ (* herbie0 (/ (expt herbie4 (- herbie3 1.0)) herbie1)) (- (+ herbie5 1) (* herbie1 (log herbie2))))))


cmdin: (- (+ (* herbie0 (log herbie1)) (* herbie2 (log (- 1.0 herbie1)))) herbie3)
cmdout:
(- (* (- herbie2) (+ (+ (* 0.5 (sqr herbie1)) herbie1) (* (/ 1/3 (* 1.0 (* 1.0 1.0))) (* herbie1 (* herbie1 herbie1))))) (- herbie3 (* herbie0 (log herbie1))))


cmdin: (* herbie0 (- (/ herbie1 herbie2) (/ herbie3 (- 1.0 herbie2))))
cmdout:
(if (< (* herbie0 (- (/ herbie1 herbie2) (/ herbie3 (- 1.0 herbie2)))) -7.623226303312042e-196) (* herbie0 (- (/ herbie1 herbie2) (* herbie3 (/ 1 (- 1.0 herbie2))))) (if (< (* herbie0 (- (/ herbie1 herbie2) (/ herbie3 (- 1.0 herbie2)))) 1.4133944927702302e-211) (+ (/ (* herbie1 herbie0) herbie2) (- (/ (* herbie3 herbie0) (- 1.0 herbie2)))) (* herbie0 (- (/ herbie1 herbie2) (* herbie3 (/ 1 (- 1.0 herbie2)))))))


cmdout: (- herbie0 (/ (+ 2.30753 (* herbie0 0.27061)) (+ 1.0 (* (+ 0.99229 (* herbie0 0.04481)) herbie0))))
cmdin:
(- herbie0 (/ (+ 2.30753 (* herbie0 0.27061)) (+ 1.0 (* (+ 0.99229 (* herbie0 4.481e-2)) herbie0))))


cmdin: (/ (exp (* herbie0 (log (/ herbie0 (+ herbie0 herbie1))))) herbie0)
cmdout:
(if (< herbie1 -3.7311844206647956e+94) (/ (exp (/ -1 herbie1)) herbie0) (if (< herbie1 2.817959242728288e+37) (/ (expt (/ herbie0 (+ herbie1 herbie0)) herbie0) herbie0) (if (< herbie1 2.347387415166998e+178) (log (exp (/ (expt (/ herbie0 (+ herbie1 herbie0)) herbie0) herbie0))) (/ (exp (/ -1 herbie1)) herbie0))))


cmdin: (+ herbie0 (/ (exp (* herbie1 (log (/ herbie1 (+ herbie2 herbie1))))) herbie1))
cmdout:
(if (< (/ herbie1 (+ herbie2 herbie1)) 7.1154157597908e-315) (+ herbie0 (/ (exp (/ -1 herbie2)) herbie1)) (+ herbie0 (/ (exp (log (expt (/ herbie1 (+ herbie1 herbie2)) herbie1))) herbie1)))


cmdin:
(/ herbie0 (+ herbie0 (* herbie1 (exp (* 2.0 (- (/ (* herbie2 (sqrt (+ herbie3 herbie4))) herbie3) (* (- herbie5 herbie6) (- (+ herbie4 (/ 5.0 6.0)) (/ 2.0 (* herbie3 3.0))))))))))

cmdout:
(if (< herbie3 -2.118326644891581e-50) (/ herbie0 (+ herbie0 (* herbie1 (exp (* 2.0 (- (+ (* herbie4 herbie6) (* 0.8333333333333334 herbie6)) (* herbie4 herbie5))))))) (if (< herbie3 5.196588770651547e-123) (/ herbie0 (+ herbie0 (* herbie1 (exp (* 2.0 (/ (- (* (* herbie2 (sqrt (+ herbie3 herbie4))) (* (* 3.0 herbie3) (- herbie4 (/ 5.0 6.0)))) (* (- (* (+ (/ 5.0 6.0) herbie4) (* 3.0 herbie3)) 2.0) (* (- herbie4 (/ 5.0 6.0)) (* (- herbie5 herbie6) herbie3)))) (* (* (sqr herbie3) 3.0) (- herbie4 (/ 5.0 6.0))))))))) (/ herbie0 (+ herbie0 (* herbie1 (exp (* 2.0 (- (/ (* herbie2 (sqrt (+ herbie3 herbie4))) herbie3) (* (- herbie5 herbie6) (- (+ herbie4 (/ 5.0 6.0)) (/ 2.0 (* herbie3 3.0))))))))))))


cmdin: (- (* herbie0 (log (/ herbie0 herbie1))) herbie2)
cmdout:
(if (< herbie1 7.595077799083773e-308) (- (* herbie0 (log (/ herbie0 herbie1))) herbie2) (- (* herbie0 (- (log herbie0) (log herbie1))) herbie2))


cmdin:
(/ (+ (* (+ (* (+ (* (+ (* herbie0 herbie1) herbie2) herbie1) 27464.7644705) herbie1) 230661.510616) herbie1) herbie3) (+ (* (+ (* (+ (* (+ herbie1 herbie4) herbie1) herbie5) herbie1) herbie6) herbie1) herbie7))

cmdout:
(/ (+ (* (+ (* (+ (* (+ (* herbie0 herbie1) herbie2) herbie1) 27464.7644705) herbie1) 230661.510616) herbie1) herbie3) (+ (* (+ (* (+ (* (+ herbie1 herbie4) herbie1) herbie5) herbie1) herbie6) herbie1) herbie7))


cmdin: (/ (* (* herbie0 herbie1) herbie2) (sqrt (- (* herbie2 herbie2) (* herbie3 herbie4))))
cmdout:
(if (< herbie2 -3.1921305903852764e+46) (- (* herbie1 herbie0)) (if (< herbie2 5.976268120920894e+90) (/ (* herbie0 herbie2) (/ (sqrt (- (sqr herbie2) (* herbie4 herbie3))) herbie1)) (* herbie1 herbie0)))


cmdin:
(+ (- (- herbie0 (* (- herbie1 1.0) herbie2)) (* (- herbie3 1.0) herbie4)) (* (- (+ herbie1 herbie3) 2.0) herbie5))

cmdout:
(+ (- (- herbie0 (* (- herbie1 1.0) herbie2)) (* (- herbie3 1.0) herbie4)) (* (- (+ herbie1 herbie3) 2.0) herbie5))


cmdin: (/ (* herbie0 herbie1) (* (* herbie2 herbie2) (+ herbie2 1.0)))
cmdout:
(if (< herbie2 249.6182814532307) (/ (* herbie1 (/ herbie0 herbie2)) (+ herbie2 (sqr herbie2))) (/ (* (/ (/ herbie1 herbie2) (+ 1 herbie2)) herbie0) herbie2))


cmdin: (/ (/ 1.0 herbie0) (* herbie1 (+ 1.0 (* herbie2 herbie2))))
cmdout:
(if (< (* herbie1 (+ 1.0 (* herbie2 herbie2))) -inf.0) (/ (/ 1.0 herbie1) (* (+ 1.0 (sqr herbie2)) herbie0)) (if (< (* herbie1 (+ 1.0 (* herbie2 herbie2))) 8.680743250567252e+305) (/ (/ 1.0 herbie0) (* (+ 1.0 (sqr herbie2)) herbie1)) (/ (/ 1.0 herbie1) (* (+ 1.0 (sqr herbie2)) herbie0))))


cmdin: (/ herbie0 (* (- herbie1 herbie2) (- herbie3 herbie2)))
cmdout:
(if (< (/ herbie0 (* (- herbie1 herbie2) (- herbie3 herbie2))) 0.0) (/ (/ herbie0 (- herbie1 herbie2)) (- herbie3 herbie2)) (* herbie0 (/ 1 (* (- herbie1 herbie2) (- herbie3 herbie2)))))


cmdin: (+ (* (/ herbie0 herbie1) (- herbie2 herbie3)) herbie3)
cmdout:
(if (< herbie2 2.759456554562692e-282) (+ (* (/ herbie0 herbie1) (- herbie2 herbie3)) herbie3) (if (< herbie2 2.326994450874436e-110) (+ (* herbie0 (/ (- herbie2 herbie3) herbie1)) herbie3) (+ (* (/ herbie0 herbie1) (- herbie2 herbie3)) herbie3)))


cmdin: (* herbie0 (log (/ herbie0 herbie1)))
cmdout:
(if (< herbie1 1.2973149052617803e-303) (* herbie0 (log (/ herbie0 herbie1))) (/ herbie0 (/ 1 (- (log herbie0) (log herbie1)))))


cmdin: (/ (* herbie0 (- herbie1 herbie2)) herbie1)
cmdout:
(if (< herbie2 -2.060202331921739e+104) (- herbie0 (/ (* herbie2 herbie0) herbie1)) (if (< herbie2 1.6939766013828526e+213) (/ herbie0 (/ herbie1 (- herbie1 herbie2))) (* (- herbie1 herbie2) (/ herbie0 herbie1))))


cmdin: (+ herbie0 (* (- herbie1 herbie0) (/ herbie2 herbie3)))
cmdout:
(if (< (* (- herbie1 herbie0) (/ herbie2 herbie3)) -1013646692435.8867) (+ herbie0 (/ (- herbie1 herbie0) (/ herbie3 herbie2))) (if (< (* (- herbie1 herbie0) (/ herbie2 herbie3)) -0.0) (+ herbie0 (/ (* (- herbie1 herbie0) herbie2) herbie3)) (+ herbie0 (/ (- herbie1 herbie0) (/ herbie3 herbie2)))))


cmdin: (+ herbie0 (* herbie1 (/ (- herbie2 herbie3) (- herbie4 herbie3))))
cmdout:
(if (< herbie1 -8.508084860551241e-17) (+ herbie0 (* herbie1 (/ (- herbie2 herbie3) (- herbie4 herbie3)))) (if (< herbie1 2.894426862792089e-49) (+ herbie0 (* (* herbie1 (- herbie2 herbie3)) (/ 1 (- herbie4 herbie3)))) (+ herbie0 (* herbie1 (/ (- herbie2 herbie3) (- herbie4 herbie3))))))


cmdin: (+ herbie0 (/ (* (- herbie1 herbie2) herbie3) (- herbie4 herbie2)))
cmdout:
(if (< herbie3 -1.0682974490174067e-39) (+ herbie0 (* (/ (- herbie1 herbie2) (- herbie4 herbie2)) herbie3)) (if (< herbie3 3.9110949887586375e-141) (+ herbie0 (/ (* (- herbie1 herbie2) herbie3) (- herbie4 herbie2))) (+ herbie0 (* (/ (- herbie1 herbie2) (- herbie4 herbie2)) herbie3))))


cmdin: (- (+ herbie0 herbie1) (/ (* (- herbie2 herbie3) herbie1) (- herbie4 herbie3)))
cmdout:
(if (< (- (+ herbie0 herbie1) (/ (* (- herbie2 herbie3) herbie1) (- herbie4 herbie3))) -1.3664970889390727e-07) (- (+ herbie1 herbie0) (* (* (- herbie2 herbie3) (/ 1 (- herbie4 herbie3))) herbie1)) (if (< (- (+ herbie0 herbie1) (/ (* (- herbie2 herbie3) herbie1) (- herbie4 herbie3))) 1.4754293444577233e-239) (/ (- (* herbie1 (- herbie4 herbie2)) (* herbie0 herbie3)) (- herbie4 herbie3)) (- (+ herbie1 herbie0) (* (* (- herbie2 herbie3) (/ 1 (- herbie4 herbie3))) herbie1))))


cmdin: (sqrt (/ (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2)) 3.0))
cmdout:
(if (< herbie2 -6.396479394109776e+136) (/ (- herbie2) (sqrt 3.0)) (if (< herbie2 7.320293694404182e+117) (/ (sqrt (+ (+ (sqr herbie2) (sqr herbie0)) (sqr herbie1))) (sqrt 3.0)) (* (sqrt 0.3333333333333333) herbie2)))


cmdin: (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2)))
cmdout:
(if (< herbie2 -6.396479394109776e+136) (- herbie2) (if (< herbie2 7.320293694404182e+117) (sqrt (+ (+ (sqr herbie2) (sqr herbie0)) (sqr herbie1))) herbie2))


cmdin: (- (- (- (* (log herbie0) (- herbie1 1.0)) (/ herbie0 2.0)) herbie2) (* herbie1 (log 2.0)))
cmdout:
(- (- (* (log herbie0) herbie1) (+ (log herbie0) (/ herbie0 2.0))) (+ herbie2 (* herbie1 (log 2.0))))


cmdin: (+ (log herbie0) (* (log (- 1.0 herbie0)) (- herbie1 1.0)))
cmdout:
(+ (* (- (- herbie1 1.0)) (+ (+ herbie0 (* (sqr herbie0) 0.5)) (* (/ 1/3 (* 1.0 (* 1.0 1.0))) (* herbie0 (* herbie0 herbie0))))) (log herbie0))


cmdin: (- (* (log (/ herbie0 (+ herbie0 (* herbie1 herbie1)))) (* 0.5 (+ herbie0 1.0))) herbie2)
cmdout:
(if (< herbie1 -5.57685928761803e+139) (- (* (- (log herbie0) (- (log herbie0))) (+ (* herbie0 0.5) 0.5)) herbie2) (if (< herbie1 -8.508084860551241e-17) (- (* (- (log herbie0) (log (+ herbie0 (sqr herbie1)))) (+ 0.5 (* herbie0 0.5))) herbie2) (if (< herbie1 3.520979279013285e+113) (- herbie2) (- (* (- (log herbie0) (* 2 (log herbie1))) (+ 0.5 (* herbie0 0.5))) herbie2))))


cmdin: (+ (+ (* (* 0.5 (+ herbie0 1.0)) (- herbie1 herbie2)) (log (sqrt herbie0))) herbie3)
cmdout:
(+ (+ (+ (* herbie1 (* 0.5 (+ herbie0 1.0))) (* (- herbie2) (* 0.5 (+ herbie0 1.0)))) (log (sqrt herbie0))) herbie3)


cmdin:
(- (+ herbie0 (* (log herbie1) (- (* herbie2 0.5) 1.0))) (* (* 0.5 (log (+ herbie3 (* herbie2 herbie1)))) (+ herbie2 herbie3)))

cmdout:
(if (< (+ herbie3 (* herbie2 herbie1)) 2.111211732683684e+307) (+ herbie0 (- (* (log herbie1) (- (* herbie2 0.5) 1.0)) (* (* 0.5 (log (+ herbie3 (* herbie2 herbie1)))) (+ herbie2 herbie3)))) (- (* (log herbie1) (- (* 0.5 herbie2) 1.0)) (- (* (* (+ herbie3 herbie2) 0.5) (+ (log herbie1) (log herbie2))) herbie0)))


cmdin:
(+ (- (+ (+ herbie0 (log (/ herbie1 herbie2))) (* (- 1.0 herbie3) herbie4)) (* (+ herbie5 1.0) herbie6)) (* (+ herbie3 herbie5) herbie7))

cmdout:
(if (< (/ herbie1 herbie2) 1.0836246905166e-314) (+ (+ (* (- herbie6) (+ 1 herbie5)) (- (* herbie3 herbie4))) (* (+ herbie5 herbie3) herbie7)) (if (< (/ herbie1 herbie2) 1.7487837573718017e+308) (+ (- (+ (+ herbie0 (log (/ herbie1 herbie2))) (* (- 1.0 herbie3) herbie4)) (* (+ herbie5 1.0) herbie6)) (* (+ herbie3 herbie5) herbie7)) (+ (+ (* (- herbie6) (+ 1 herbie5)) (- (* herbie3 herbie4))) (* (+ herbie5 herbie3) herbie7))))


cmdin: (/ (* (* herbie0 2.0) (- (+ herbie1 herbie2) 2.0)) (* (* herbie2 herbie3) (- herbie1 4.0)))
cmdout:
(if (< herbie1 -0.042442629857724935) (* (/ herbie0 herbie3) (+ (+ (/ 2.0 herbie2) (/ 2.0 herbie1)) (/ 8.0 (sqr herbie1)))) (if (< herbie1 677.097610050253) (- (- (/ (/ herbie0 herbie3) herbie2) (* (/ herbie0 herbie3) 0.5)) (/ (/ herbie0 herbie3) (/ (/ herbie2 herbie1) 0.25))) (* (/ herbie0 herbie3) (+ (+ (/ 2.0 herbie2) (/ 2.0 herbie1)) (/ 8.0 (sqr herbie1))))))


cmdin: (/ (* herbie0 herbie1) (* herbie2 (- 1.0 herbie1)))
cmdout:
(if (< herbie1 -4.4844624401399816e-38) (/ herbie0 (- (/ herbie2 herbie1) herbie2)) (if (< herbie1 677.097610050253) (+ (* (+ herbie1 (* herbie1 (* herbie1 herbie1))) (/ herbie0 herbie2)) (* (/ herbie0 herbie2) (sqr herbie1))) (/ herbie0 (- (/ herbie2 herbie1) herbie2))))


cmdin: (/ (* herbie0 herbie1) (+ herbie0 herbie1))
cmdout:
(if (< herbie1 -5.5377297551125483e+23) (/ herbie0 (+ (/ herbie0 herbie1) 1)) (if (< herbie1 5.330554167421596e-80) (* (/ herbie0 (+ herbie0 herbie1)) herbie1) (/ herbie0 (+ (/ herbie0 herbie1) 1))))


cmdin: (* (+ (+ 2.000071 (/ 0.331 (sqrt herbie0))) (/ 1.409 herbie0)) herbie1)
cmdout:
(* (/ (* (+ (+ (* 2.000071 herbie0) 1.409) (/ (* herbie0 0.331) (sqrt herbie0))) (- 2.000071 (/ 0.331 (sqrt herbie0)))) (* (- 2.000071 (/ 1 (/ (sqrt herbie0) 0.331))) herbie0)) herbie1)


cmdin:
(/ (- (/ (* herbie0 herbie1) 2.0) herbie2) (sqrt (/ (* (* herbie0 herbie1) (+ (+ herbie0 herbie1) 1.0)) 12.0)))

cmdout:
(if (< herbie0 9.575265548968706e-44) (/ (/ (- (/ (* herbie0 herbie1) 2.0) herbie2) (sqrt (* (* herbie0 herbie1) (+ (+ herbie0 herbie1) 1.0)))) (sqrt (/ 1 12.0))) (* (/ 1 (sqrt (* herbie0 herbie1))) (/ (/ (- (/ (* herbie0 herbie1) 2.0) herbie2) (sqrt (+ (+ herbie0 herbie1) 1.0))) (sqrt (/ 1 12.0)))))


cmdin: (+ (* (* (* herbie0 1.75) herbie1) herbie1) (sqrt (/ herbie0 herbie1)))
cmdout:
(if (< herbie0 25577453700.219013) (+ (* herbie1 (* herbie1 (* 1.75 herbie0))) (sqrt (/ herbie0 herbie1))) (+ (* (sqr herbie1) (* 1.75 herbie0)) (* (sqrt herbie0) (sqrt (/ 1 herbie1)))))


cmdin: (/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2))
cmdout:
(if (< herbie2 -1.5346024234769991e+206) herbie3 (if (< herbie2 3.516290613555987e+106) (/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ herbie0 herbie2)) herbie3))


cmdin: (sqrt (* herbie0 (- herbie0 1.0)))
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (- (/ 0.125 herbie0) (- herbie0 0.5)) (if (< herbie0 1305830679.054376) (sqrt (* herbie0 (- herbie0 1.0))) (- (- herbie0 (/ 0.125 herbie0)) 0.5)))


cmdin:
(+ (+ herbie0 herbie1) (/ (* (* (* (- herbie2 herbie3) (- herbie2 herbie3)) herbie4) herbie5) (+ herbie4 herbie5)))

cmdout:
(if (< herbie5 -2.444725625374068e+103) (+ (* (* (/ herbie5 (+ herbie4 herbie5)) (* herbie4 (- herbie2 herbie3))) (- herbie2 herbie3)) (+ herbie1 herbie0)) (if (< herbie5 3.6425204619336133e+37) (+ (* (* (* (/ herbie5 1) (/ herbie4 (+ herbie4 herbie5))) (- herbie2 herbie3)) (- herbie2 herbie3)) (+ herbie1 herbie0)) (+ (* (* (/ herbie5 (+ herbie4 herbie5)) (* herbie4 (- herbie2 herbie3))) (- herbie2 herbie3)) (+ herbie1 herbie0))))


cmdin: (/ (+ (* herbie0 herbie1) (* herbie2 herbie3)) (+ (* herbie1 herbie1) (* herbie3 herbie3)))
cmdout:
(if (< herbie1 -1.2303690911306994e+114) (/ herbie0 herbie1) (if (< herbie1 1.5627943953698905e+105) (/ (+ (* herbie3 herbie2) (* herbie1 herbie0)) (+ (sqr herbie1) (sqr herbie3))) (/ herbie0 herbie1)))


cmdin: (/ (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))) herbie3)
cmdout:
(if (< herbie2 -6.396479394109776e+136) (- (/ herbie2 herbie3)) (if (< herbie2 9.58839492217574e+103) (/ (sqrt (+ (+ (sqr herbie2) (sqr herbie0)) (sqr herbie1))) herbie3) (/ herbie2 herbie3)))


cmdin: (- (sin herbie0) herbie0)
cmdout:
(if (< herbie0 -0.0006441301579083509) (- (sin herbie0) herbie0) (if (< herbie0 1.7634409685515176) (- (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (+ (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (* 1/6 (* herbie0 (* herbie0 herbie0))))) (- (sin herbie0) herbie0)))


cmdin: (sqrt (+ (* (- herbie0 herbie1) (- herbie0 herbie1)) (* (- herbie2 herbie3) (- herbie2 herbie3))))
cmdout:
(if (< herbie2 -2.1853221125751867e-22) (- herbie3 herbie2) (if (< herbie2 3.516290613555987e+106) (sqrt (+ (sqr (- herbie0 herbie1)) (sqr (- herbie2 herbie3)))) (- herbie2 herbie3)))


cmdin: (- (sqrt (+ (* herbie0 herbie0) 1.0)) 1.0)
cmdout:
(if (< herbie0 -4.717185230000036e+20) (- (+ (+ 1.0 herbie0) (/ 0.5 herbie0))) (if (< herbie0 1305830679.054376) (/ (sqr herbie0) (+ (sqrt (+ (sqr herbie0) 1.0)) 1.0)) (- (/ 0.5 herbie0) (- 1.0 herbie0))))


cmdin: (- herbie0 (sin herbie0))
cmdout:
(if (< herbie0 -0.0006441301579083509) (- herbie0 (sin herbie0)) (if (< herbie0 1.7634409685515176) (- (+ (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (* 1/6 (* herbie0 (* herbie0 herbie0)))) (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0)))))) (- herbie0 (sin herbie0))))


cmdin: (/ (- (sin herbie0) (tan herbie0)) herbie0)
cmdout:
(if (< herbie0 -0.0006441301579083509) (/ 1 (/ herbie0 (- (sin herbie0) (tan herbie0)))) (if (< herbie0 1.7634409685515176) (+ (+ (* -1/2 (sqr herbie0)) (* -1/8 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (* -13/240 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (/ 1 (/ herbie0 (- (sin herbie0) (tan herbie0))))))


cmdin: (- (sqrt (- herbie0 2.0)) (sqrt (- (* herbie0 herbie0) 3.0)))
cmdout:
(- (+ (/ 1.125 (* herbie0 (* herbie0 herbie0))) (sqrt (- herbie0 2.0))) (- herbie0 (/ 1.5 herbie0)))


cmdin: (/ herbie0 (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))
cmdout:
(if (< herbie2 -6.396479394109776e+136) (/ herbie0 (- herbie2)) (if (< herbie2 2.3767012240079792e+109) (/ herbie0 (sqrt (+ (+ (sqr herbie2) (sqr herbie0)) (sqr herbie1)))) (/ herbie0 herbie2)))


cmdin: (- (log (+ herbie0 1.0)) (log herbie0))
cmdout:
(if (< herbie0 1305830679.054376) (- (log (+ herbie0 1.0)) (log herbie0)) (- (/ 1.0 herbie0) (- (/ 0.5 (sqr herbie0)) (/ 0.3333333333333333 (* herbie0 (* herbie0 herbie0))))))


cmdin: (* (* herbie0 herbie0) (cos (- (/ herbie0 2.0) (sqrt herbie0))))
cmdout:
(+ (* (* (cos (/ herbie0 2.0)) (cos (sqrt herbie0))) (sqr herbie0)) (* (sin (/ herbie0 2.0)) (* (sin (sqrt herbie0)) (sqr herbie0))))


cmdin: (/ (* herbie0 herbie1) (+ (- 1.0 herbie1) (* herbie0 herbie1)))
cmdout:
(if (< herbie0 -3.2230225784416125e+100) (+ (/ 1 (sqr herbie0)) (+ 1 (/ 1 herbie0))) (if (< herbie0 7.448338919394617e+200) (* (/ herbie0 1) (/ herbie1 (+ (- 1.0 herbie1) (* herbie0 herbie1)))) (+ (/ 1 (sqr herbie0)) (+ 1 (/ 1 herbie0)))))


cmdin: (- (sqrt (sin herbie0)) (sqrt herbie0))
cmdout:
(if (< herbie0 1.7634409685515176) (/ (- (* 1/120 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (+ (* 1/5040 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (* 1/6 (* herbie0 (* herbie0 herbie0))))) (+ (sqrt (sin herbie0)) (sqrt herbie0))) (- (sqr (sqrt (sqrt (sin herbie0)))) (sqrt herbie0)))


cmdin: (- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2)))
cmdout:
(if (< (- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2))) -6.465938895416912e-13) (- (log (+ (* herbie0 (exp herbie1)) (* herbie2 (exp herbie3)))) (log (+ herbie0 herbie2))) herbie3)


cmdin: (+ herbie0 (/ (sqrt (- (* herbie1 herbie1) (* (* herbie2 4.0) herbie3))) (* herbie2 2.0)))
cmdout:
(if (< herbie1 -1.6510035326707372e+121) (- (+ (/ herbie3 herbie1) herbie0) (/ (/ herbie1 2.0) herbie2)) (if (< herbie1 2.6502773165082534e-273) (+ (/ (sqrt (- (sqr herbie1) (* (* herbie2 herbie3) 4.0))) (* 2.0 herbie2)) herbie0) (if (< herbie1 3.2900949137881875e-170) (+ (* 0.5 (/ herbie1 herbie2)) herbie0) (if (< herbie1 3.2129325218208903e-21) (+ (/ (sqrt (- (sqr herbie1) (* (* herbie2 herbie3) 4.0))) (* 2.0 herbie2)) herbie0) (+ (* 0.5 (/ herbie1 herbie2)) herbie0)))))


cmdin: (- (sin (+ herbie0 herbie1)) (cos (+ herbie0 herbie1)))
cmdout:
(+ (* (sin herbie0) (cos herbie1)) (- (* (cos herbie0) (sin herbie1)) (- (* (cos herbie0) (cos herbie1)) (log (exp (* (sin herbie0) (sin herbie1)))))))


cmdin: (- (log herbie0) (log (+ herbie0 1.0)))
cmdout:
(if (< herbie0 1305830679.054376) (log (/ herbie0 (+ herbie0 1.0))) (- (- (/ 0.5 (sqr herbie0)) (/ 0.3333333333333333 (* herbie0 (* herbie0 herbie0)))) (/ 1 herbie0)))


cmdin: (- (sqrt (+ herbie0 2.0)) (sqrt herbie0))
cmdout:
(/ (/ 2.0 (sqrt (+ (sqrt (+ herbie0 2.0)) (sqrt herbie0)))) (sqrt (+ (sqrt (+ herbie0 2.0)) (sqrt herbie0))))


cmdin: (/ (- (exp herbie0) 1.0) herbie0)
cmdout:
(if (< herbie0 -3.117345318005618e-08) (* (- (exp herbie0) 1.0) (/ 1 herbie0)) (+ (+ (* 1/2 herbie0) (* 1/6 (sqr herbie0))) 1))


cmdin: (* (/ (exp herbie0) (sqrt (- (exp herbie0) 1.0))) (sqrt herbie0))
cmdout:
(if (< herbie0 0.0020835804607183556) (exp (+ (- herbie0 (log (sqrt (+ herbie0 (+ (* 1/2 (sqr herbie0)) (* 1/6 (* herbie0 (* herbie0 herbie0)))))))) (log (sqrt herbie0)))) (* (/ (exp herbie0) (sqrt (- (exp herbie0) 1.0))) (sqrt herbie0)))


cmdin: (+ (- (sqrt (+ herbie0 1.0)) (sqrt herbie0)) (sin (- herbie0 1.0)))
cmdout:
(+ (/ 1.0 (+ (sqrt (+ herbie0 1.0)) (sqrt herbie0))) (- (* (sin herbie0) (cos 1.0)) (* (cos herbie0) (sin 1.0))))


cmdin: (- herbie0 (sqrt (- (* herbie1 herbie1) herbie2)))
cmdout:
(if (< herbie1 -2.0395146714390417e+143) (- herbie0 (- (* 1/2 (/ herbie2 herbie1)) herbie1)) (if (< herbie1 2.2050239131518475e+104) (- herbie0 (sqrt (- (sqr herbie1) herbie2))) (- herbie0 (- herbie1 (* 1/2 (/ herbie2 herbie1))))))


cmdin: (+ herbie0 (sqrt (- (* herbie0 herbie0) herbie1)))
cmdout:
(if (< herbie0 -1.5097698010472593e+153) (* 1/2 (/ herbie1 herbie0)) (if (< herbie0 -3.5050271037152363e-118) (/ herbie1 (- herbie0 (sqrt (- (sqr herbie0) herbie1)))) (if (< herbie0 1.116557621183362e+93) (+ herbie0 (sqrt (- (sqr herbie0) herbie1))) (+ herbie0 (- herbie0 (* 1/2 (/ herbie1 herbie0)))))))


cmdin: (sqrt (+ 1.0 (sqrt (+ (* herbie0 herbie0) 1.0))))
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (sqrt (- (/ 0.125 (* herbie0 (* herbie0 herbie0))) (- (/ 0.5 herbie0) (- 1.0 herbie0)))) (if (< herbie0 1305830679.054376) (sqrt (+ 1.0 (sqrt (+ 1.0 (sqr herbie0))))) (sqrt (- (+ (+ 1.0 herbie0) (/ 0.5 herbie0)) (/ 0.125 (* herbie0 (* herbie0 herbie0)))))))


cmdin: (cos (sqrt (+ (+ (* herbie0 herbie0) (* herbie1 herbie1)) (* herbie2 herbie2))))
cmdout:
(if (< herbie2 -2.653425185550829e+37) (cos herbie2) (if (< herbie2 1.4558145639273864e+51) (cos herbie1) (cos herbie2)))


cmdin: (sqrt (+ (* herbie0 herbie0) 1.0))
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (- (/ 0.125 (* herbie0 (* herbie0 herbie0))) (+ (/ 0.5 herbie0) herbie0)) (if (< herbie0 1305830679.054376) (sqrt (+ (sqr herbie0) 1.0)) (- (+ (/ 0.5 herbie0) herbie0) (/ 0.125 (* herbie0 (* herbie0 herbie0))))))


cmdin: (* herbie0 (- (/ herbie1 herbie0) (log (+ 1.0 (/ herbie1 herbie0)))))
cmdout:
(if (< (/ herbie1 herbie0) 3703.7356312442184) (+ (* 0.5 (/ (sqr herbie1) herbie0)) (* (- herbie0) (log 1.0))) (+ (* (- herbie0) (log 1.0)) herbie1))


cmdin: (* herbie0 (sqrt (+ (* herbie1 herbie1) 1.0)))
cmdout:
(if (< herbie1 -1.5097698010472593e+153) (* herbie0 (- (/ 0.125 (* herbie1 (* herbie1 herbie1))) (+ herbie1 (/ 0.5 herbie1)))) (if (< herbie1 677.097610050253) (* herbie0 (sqrt (+ 1.0 (sqr herbie1)))) (* herbie0 (- (+ herbie1 (/ 0.5 herbie1)) (/ 0.125 (* herbie1 (* herbie1 herbie1)))))))


cmdin: (* herbie0 (- (- (/ herbie1 herbie0) 1.0) (log (/ herbie1 herbie0))))
cmdout:
(if (< herbie1 1.2973149052617803e-303) (+ (* 1 herbie1) (* (log (/ (/ herbie0 herbie1) (exp 1.0))) herbie0)) (- (- herbie1 herbie0) (* (- (log herbie1) (log herbie0)) herbie0)))


cmdin:
(* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* (* herbie0 herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0) herbie0)

cmdout:
(* (* (expt herbie0 12) (sqr (* herbie0 (* herbie0 herbie0)))) (* (* (sqr herbie0) (* herbie0 (* herbie0 (* herbie0 herbie0)))) (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))))


cmdin: (- (abs (expt herbie0 3)) (expt herbie0 3))
cmdout:
(if (< herbie0 2.2386212442101493e+105) (- (abs (* herbie0 (* herbie0 herbie0))) (* herbie0 (* herbie0 herbie0))) (- (abs (* (/ 1 herbie0) (* (/ 1 herbie0) (/ 1 herbie0)))) (expt herbie0 -3)))


cmdin: (- (sqrt (+ herbie0 2)) (sqrt herbie0))
cmdout:
(/ (/ 2 (sqrt (+ (sqrt (+ herbie0 2)) (sqrt herbie0)))) (sqrt (+ (sqrt (+ herbie0 2)) (sqrt herbie0))))


cmdin: (/ (- (exp herbie0) 1) herbie0)
cmdout:
(if (< herbie0 -3.117345318005618e-08) (* (- (exp herbie0) 1) (/ 1 herbie0)) (+ (+ (* 1/2 herbie0) (* 1/6 (sqr herbie0))) 1))


cmdin: (* (/ (exp herbie0) (sqrt (- (exp herbie0) 1))) (sqrt herbie0))
cmdout:
(if (< herbie0 0.0020835804607183556) (exp (+ (- herbie0 (log (sqrt (+ herbie0 (+ (* 1/2 (sqr herbie0)) (* 1/6 (* herbie0 (* herbie0 herbie0)))))))) (log (sqrt herbie0)))) (* (/ (exp herbie0) (sqrt (- (exp herbie0) 1))) (sqrt herbie0)))


cmdin: (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (sin (- herbie0 1)))
cmdout:
(+ (/ 1 (+ (sqrt (+ herbie0 1)) (sqrt herbie0))) (- (* (sin herbie0) (cos 1)) (* (cos herbie0) (sin 1))))


cmdin: (sqrt (- (sqrt (+ (expt herbie0 2) (expt herbie1 2))) herbie0))
cmdout:
(if (< herbie1 -5.070046879473088e+114) (sqrt (- (- herbie1) herbie0)) (if (< herbie1 -7.97065452980577e-187) (* (abs herbie1) (/ 1 (sqrt (+ (sqrt (+ (sqr herbie1) (sqr herbie0))) herbie0)))) (if (< herbie1 -1.0356944520813419e-222) (sqrt (- (sqr (sqrt (sqrt (+ (sqr herbie1) (sqr herbie0))))) herbie0)) (if (< herbie1 1.8437952419591474e-167) (/ (abs herbie1) (sqrt (+ herbie0 herbie0))) (if (< herbie1 8.700568416117545e-129) (sqrt (- (sqr (sqrt (sqrt (+ (sqr herbie1) (sqr herbie0))))) herbie0)) (if (< herbie1 6.803097334265227e+102) (/ 1 (/ (sqrt (+ (sqrt (+ (sqr herbie1) (sqr herbie0))) herbie0)) (abs herbie1))) (sqrt (- herbie1 herbie0))))))))


cmdin: (sqrt (+ 1 (sqrt (+ (* herbie0 herbie0) 1))))
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (sqrt (- (/ 1/8 (* herbie0 (* herbie0 herbie0))) (+ (- herbie0 1) (/ 1/2 herbie0)))) (if (< herbie0 1305830679.054376) (sqrt (+ 1 (sqrt (+ 1 (sqr herbie0))))) (sqrt (- (+ (+ 1 herbie0) (/ 1/2 herbie0)) (/ 1/8 (* herbie0 (* herbie0 herbie0)))))))


cmdin: (* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0))))
cmdout:
(if (< herbie1 1.2973149052617803e-303) (* herbie0 (- (- (/ herbie1 herbie0) 1) (log (/ herbie1 herbie0)))) (- (- herbie1 herbie0) (* herbie0 (- (log herbie1) (log herbie0)))))


cmdin: (* (cos (+ herbie0 1)) (expt herbie0 2))
cmdout:
(+ (* (* (* (cos 1) (cos herbie0)) herbie0) herbie0) (* (- (* (sin 1) (sin herbie0))) (sqr herbie0)))


cmdin: (sqrt (+ (* herbie0 herbie0) 1))
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (- (/ 1/8 (* herbie0 (* herbie0 herbie0))) (+ (/ 1/2 herbie0) herbie0)) (if (< herbie0 1305830679.054376) (sqrt (+ (sqr herbie0) 1)) (- (+ (/ 1/2 herbie0) herbie0) (/ 1/8 (* herbie0 (* herbie0 herbie0))))))


cmdin: (* herbie0 (sqrt (+ (* herbie1 herbie1) 1)))
cmdout:
(if (< herbie1 -1.5097698010472593e+153) (* herbie0 (- (/ 1/8 (* herbie1 (* herbie1 herbie1))) (+ herbie1 (/ 1/2 herbie1)))) (if (< herbie1 677.097610050253) (* herbie0 (sqrt (+ 1 (sqr herbie1)))) (* herbie0 (- (+ herbie1 (/ 1/2 herbie1)) (/ 1/8 (* herbie1 (* herbie1 herbie1)))))))


cmdin: (/ (* herbie0 herbie1) (+ (- 1 herbie1) (* herbie0 herbie1)))
cmdout:
(if (< herbie0 -3.954276403866009e+78) (sqr (sqrt (/ herbie0 (- (/ 1 herbie1) (- 1 herbie0))))) (if (< herbie0 -3.117345318005618e-08) (* (/ (/ herbie0 (+ 1 herbie0)) (- 1 (* (- 1 herbie0) herbie1))) (* herbie1 (+ 1 herbie0))) (if (< herbie0 1.2513685051200696e-57) (/ (* (/ (* herbie0 herbie1) (+ 1 herbie0)) (- 1 (* herbie0 (* herbie0 herbie0)))) (* (- 1 (* herbie1 (- 1 herbie0))) (+ (sqr herbie0) (- 1 herbie0)))) (if (< herbie0 7.448338919394617e+200) (* (/ (/ herbie0 (+ 1 herbie0)) (- 1 (* (- 1 herbie0) herbie1))) (* herbie1 (+ 1 herbie0))) (sqr (sqrt (/ herbie0 (- (/ 1 herbie1) (- 1 herbie0)))))))))


cmdin: (+ herbie0 (/ (sqrt (- (* herbie1 herbie1) (* (* herbie2 4) herbie3))) (* herbie2 2)))
cmdout:
(if (< herbie1 -1.6510035326707372e+121) (- (+ (* (/ herbie3 herbie1) 1) herbie0) (/ (/ herbie1 2) herbie2)) (if (< herbie1 2.6502773165082534e-273) (+ (/ (sqrt (- (sqr herbie1) (* (* herbie2 herbie3) 4))) (* 2 herbie2)) herbie0) (if (< herbie1 3.2900949137881875e-170) (+ (* 1/2 (/ herbie1 herbie2)) herbie0) (if (< herbie1 3.2129325218208903e-21) (+ (/ (sqrt (- (sqr herbie1) (* (* herbie2 herbie3) 4))) (* 2 herbie2)) herbie0) (+ (* 1/2 (/ herbie1 herbie2)) herbie0)))))


cmdin: (- (log herbie0) (log (+ herbie0 1)))
cmdout:
(if (< herbie0 1305830679.054376) (log (/ herbie0 (+ herbie0 1))) (- (- (/ 1/2 (sqr herbie0)) (/ 1/3 (* herbie0 (* herbie0 herbie0)))) (/ 1 herbie0)))


cmdin: (sqrt (+ (+ 4 (expt herbie0 2)) herbie0))
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (- (+ (/ 15/8 herbie0) (+ 1/2 herbie0))) (if (< herbie0 1305830679.054376) (sqrt (+ (+ (sqr herbie0) herbie0) 4)) (+ (/ 15/8 herbie0) (+ 1/2 herbie0))))


cmdin: (* (* herbie0 herbie0) (cos (- (/ herbie0 2) (sqrt herbie0))))
cmdout:
(+ (* (* (cos (/ herbie0 2)) (cos (sqrt herbie0))) (sqr herbie0)) (* (sin (/ herbie0 2)) (* (sin (sqrt herbie0)) (sqr herbie0))))


cmdin: (expt (log (+ herbie0 1)) herbie0)
cmdout:
(if (< herbie0 0.0020835804607183556) (expt (- (+ herbie0 (* 1/3 (* herbie0 (* herbie0 herbie0)))) (* 1/2 (sqr herbie0))) herbie0) (sqr (sqrt (expt (log (+ herbie0 1)) herbie0))))


cmdin: (- (log (+ herbie0 1)) (log herbie0))
cmdout:
(if (< herbie0 1305830679.054376) (- (log (+ herbie0 1)) (log herbie0)) (+ (- (/ 1 herbie0) (/ 1/2 (sqr herbie0))) (/ 1/3 (* herbie0 (* herbie0 herbie0)))))


cmdin: (sqrt (* herbie0 (- herbie0 1)))
cmdout:
(if (< herbie0 -4.7086979558689744e+147) (- (/ 1/8 herbie0) (- herbie0 1/2)) (if (< herbie0 1305830679.054376) (sqrt (* herbie0 (- herbie0 1))) (- (- herbie0 (/ 1/8 herbie0)) 1/2)))


cmdin: (- (sqrt (+ (* herbie0 herbie0) 1)) 1)
cmdout:
(if (< herbie0 -0.0006441301579083509) (- (+ (+ 1 herbie0) (/ 1/2 herbie0))) (if (< herbie0 1.7634409685515176) (- (+ (* (* 1/2 herbie0) herbie0) (* 1/16 (* herbie0 (* herbie0 (* herbie0 (* herbie0 (* herbie0 herbie0))))))) (* 1/8 (* herbie0 (* herbie0 (* herbie0 herbie0))))) (- (/ 1/2 herbie0) (- 1 herbie0))))


cmdin:
(+ (+ (+ (- (sqrt (+ herbie0 1)) (sqrt herbie0)) (- (sqrt (+ herbie1 1)) (sqrt herbie1))) (- (sqrt (+ herbie2 1)) (sqrt herbie2))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))

cmdout:
(+ (+ (+ (/ 1 (+ (sqrt (+ herbie0 1)) (sqrt herbie0))) (/ 1 (+ (sqrt (+ herbie1 1)) (sqrt herbie1)))) (/ 1 (+ (sqrt (+ herbie2 1)) (sqrt herbie2)))) (- (sqrt (+ herbie3 1)) (sqrt herbie3)))


