Herbie run

Date:Wednesday, April 16th, 2025
Commit:5565a39e on main
Seed:2025106
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:3 462 658.4 MB

Time bar (total: 44.1min)

sample16.9min (38.3%)

Memory
15 561.1MiB live, 1 275 228.8MiB allocated; 5.7min collecting garbage
Samples
6.1min3 935 260×0valid
2.1min19 183×3exit
1.9min451 365×1valid
1.0min141 783×2valid
36.4s323 056×0invalid
30.0s33 796×5exit
19.6s4 498×4exit
12.2s15 275×3valid
6.5s50 133×0exit
6.4s29 222×1invalid
892.0ms6 432×1exit
566.0ms1 494×2invalid
66.0ms38×4valid
2.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 9.4min
ival-mult!: 1.8min (19.4% of total)
adjust: 55.8s (9.9% of total)
ival-pow: 43.4s (7.7% of total)
ival-div!: 41.0s (7.3% of total)
ival-exp: 39.3s (6.9% of total)
ival-log: 38.1s (6.7% of total)
ival-pow2: 33.2s (5.9% of total)
ival-add!: 32.1s (5.7% of total)
ival-sub!: 27.4s (4.8% of total)
ival-cos: 25.8s (4.6% of total)
ival-sin: 22.7s (4% of total)
ival-sqrt: 22.0s (3.9% of total)
ival-tan: 17.0s (3% of total)
ival-neg: 10.8s (1.9% of total)
ival-sinu: 6.3s (1.1% of total)
ival-cosu: 5.6s (1% of total)
ival-fabs: 4.1s (0.7% of total)
ival-hypot: 4.0s (0.7% of total)
ival-fmax: 4.0s (0.7% of total)
ival-fmin: 3.4s (0.6% of total)
ival-expm1: 2.5s (0.4% of total)
ival-atan2: 2.3s (0.4% of total)
ival-acos: 1.9s (0.3% of total)
ival-sinh: 1.9s (0.3% of total)
ival-asin: 1.8s (0.3% of total)
ival-log1p: 1.5s (0.3% of total)
ival-atan: 1.1s (0.2% of total)
ival-<=: 978.0ms (0.2% of total)
ival-fmod: 840.0ms (0.1% of total)
ival-floor: 773.0ms (0.1% of total)
ival-and: 738.0ms (0.1% of total)
ival-<: 675.0ms (0.1% of total)
ival-cbrt: 671.0ms (0.1% of total)
ival->: 589.0ms (0.1% of total)
ival-if: 302.0ms (0.1% of total)
ival-asinh: 281.0ms (0% of total)
ival-cosh: 266.0ms (0% of total)
ival-acosh: 256.0ms (0% of total)
ival-tanu: 202.0ms (0% of total)
ival-log2: 194.0ms (0% of total)
ival-atanh: 145.0ms (0% of total)
ival-assert: 117.0ms (0% of total)
ival-tanh: 108.0ms (0% of total)
ival->=: 86.0ms (0% of total)
ival-or: 16.0ms (0% of total)
const: 4.0ms (0% of total)
ival-==: 3.0ms (0% of total)
ival-pi: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite7.0min (15.9%)

Memory
8 771.0MiB live, 475 769.0MiB allocated; 2.0min collecting garbage
Stop Event
4 706×iter-limit
1 827×node-limit
124×unsound
35×saturated
Counts
334 995 → 600 528

explain4.2min (9.5%)

Memory
3 598.5MiB live, 389 412.9MiB allocated; 1.1min collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation901547
sqrt.f64#foflow-rescue84670
cos.f64#fsensitivity370014
log.f64#fsensitivity36995
+.f64#fcancellation3104137
sin.f64#fsensitivity23951
/.f64#fo/n19650
/.f64#fo/o17630
-.f64#fnan-rescue13990
log.f32#fsensitivity113875
*.f64#fn*o11050
/.f64#fn/o9850
/.f64#fu/u9820
sqrt.f64#fuflow-rescue9710
+.f64#fnan-rescue8590
/.f64#fu/n6520
acos.f64#fsensitivity5324
*.f64#fn*u5040
sqrt.f32#foflow-rescue5010
tan.f64#fsensitivity4211
pow.f64#fsensitivity41944
-.f32#fcancellation39243
/.f64#fn/u3370
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2190
exp.f64#fsensitivity20243
cos.f32#fsensitivity19020
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18114
cos.f64#foflow-rescue1790
*.f64#fu*o1770
pow.f64#foflow-rescue1650
*.f64#fo*u1280
asin.f64#fsensitivity1182
/.f32#fo/n1160
log.f64#foflow-rescue960
cbrt.f64#foflow-rescue910
pow.f64#fuflow-rescue600
log.f64#fuflow-rescue600
cbrt.f64#fuflow-rescue420
exp.f32#fsensitivity3629
sin.f64#foflow-rescue270
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue250
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow25
/.f32#fu/n240
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue110
↳(*.f32 sinTheta_O sinTheta_O)underflow294
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow11
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow147
↳(*.f32 eta eta)underflow11
log.f32#foflow-rescue50
*.f32#fn*o40
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o30
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow11
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow11
/.f32#fo/o20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))u*o10
↳(*.f32 u normAngle)underflow1
↳(sin.f32 (*.f32 u normAngle))underflow1
↳(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))overflow2
Confusion
Predicted +Predicted -
+31149892
-6367102136
Precision
0.8302857447489072
Recall
0.972160669142661
Confusion?
Predicted +Predicted MaybePredicted -
+31149259633
-6367438101698
Precision?
0.8219192421427263
Recall?
0.9802440622951843
Freqs
test
numberfreq
0103028
131172
24899
3626
4333
5213
666
745
86
93
1638
1778
2137
Total Confusion?
Predicted +Predicted MaybePredicted -
+34831
-150182
Precision?
0.9590163934426229
Recall?
0.9971590909090909
Samples
22.0s235 098×0valid
9.8s33 110×1valid
7.6s11 582×2valid
1.1s1 180×3valid
294.0ms24×5exit
128.0ms10×4valid
12.0ms86×1exit
Compiler

Compiled 9 324 519 to 30 106 computations (99.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.5s
ival-mult!: 5.2s (20.4% of total)
adjust: 2.9s (11.4% of total)
ival-log: 2.2s (8.6% of total)
ival-sin: 1.9s (7.4% of total)
ival-div!: 1.7s (6.6% of total)
ival-cos: 1.5s (6% of total)
ival-sub!: 1.4s (5.4% of total)
ival-add!: 1.3s (5.1% of total)
ival-exp: 1.0s (4% of total)
ival-sqrt: 991.0ms (3.9% of total)
ival-tan: 799.0ms (3.1% of total)
ival-pow2: 774.0ms (3% of total)
ival-fmax: 730.0ms (2.9% of total)
ival-pow: 503.0ms (2% of total)
ival-neg: 334.0ms (1.3% of total)
ival-cosu: 316.0ms (1.2% of total)
ival-sinu: 314.0ms (1.2% of total)
ival-fmin: 293.0ms (1.1% of total)
ival-hypot: 276.0ms (1.1% of total)
ival-asin: 242.0ms (0.9% of total)
ival-log1p: 103.0ms (0.4% of total)
ival-acos: 93.0ms (0.4% of total)
ival-fabs: 91.0ms (0.4% of total)
ival-atan2: 91.0ms (0.4% of total)
ival-atan: 71.0ms (0.3% of total)
ival-sinh: 61.0ms (0.2% of total)
ival-cbrt: 54.0ms (0.2% of total)
ival-expm1: 51.0ms (0.2% of total)
ival-floor: 42.0ms (0.2% of total)
ival-fmod: 27.0ms (0.1% of total)
ival-if: 22.0ms (0.1% of total)
ival-copysign: 18.0ms (0.1% of total)
ival-tanu: 16.0ms (0.1% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-log2: 12.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
const: 2.0ms (0% of total)
ival-<: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

eval3.7min (8.3%)

Memory
1 771.0MiB live, 344 004.7MiB allocated; 1.3min collecting garbage
Compiler

Compiled 183 812 506 to 3 898 513 computations (97.9% saved)

regimes2.9min (6.6%)

Memory
1 177.0MiB live, 253 223.6MiB allocated; 48.8s collecting garbage
Counts
93 738 → 8 796
Calls

1 242 calls:

13.5s
x
8.8s
y
6.3s
z
5.4s
(+.f64 (*.f64 x y) (*.f64 z t))
4.9s
t
Compiler

Compiled 125 441 to 126 611 computations (-0.9% saved)

series2.5min (5.6%)

Memory
9 333.2MiB live, 215 627.5MiB allocated; 39.5s collecting garbage
Counts
52 931 → 282 064
Calls

16419 calls:

TimeVariablePointExpression
1.1s
y.re
@inf
((* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* x.re x.re) (* x.im x.im)) (* x.re x.re) x.re (* x.im x.im) x.im y.re (* (atan2 x.im x.re) y.im) (atan2 x.im x.re) y.im (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))
826.0ms
a
@0
((+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+ (+ x (* y z)) (* t a)) (+ x (* y z)) x (* y z) y z (* t a) t a (* (* a z) b) (* a z) b)
740.0ms
x
@inf
((+ (* (log y) x) (- (* z (log (- 1 y))) t)) (log y) y x (- (* z (log (- 1 y))) t) (* z (log (- 1 y))) (* (+ (* (+ (* (+ (* -1/4 (* z y)) (* -1/3 z)) y) (* -1/2 z)) y) (neg z)) y) (+ (* (+ (* (+ (* -1/4 (* z y)) (* -1/3 z)) y) (* -1/2 z)) y) (neg z)) (+ (* (+ (* -1/4 (* z y)) (* -1/3 z)) y) (* -1/2 z)) (* (+ (* (+ (* 1/4 y) 1/3) y) 1/2) (neg z)) (+ (* (+ (* 1/4 y) 1/3) y) 1/2) (+ (* 1/4 y) 1/3) 1/4 1/3 1/2 (neg z) z t (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (+ (* (+ (* -1/2 (* z y)) (neg z)) y) (* (log y) x)) (* (+ (* -1/2 z) (/ (neg z) y)) (* y y)) (* (neg y) z) (neg y) (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (+ (* (+ (* -1/2 (* z y)) (neg z)) y) (* (log y) x)) (* (+ (* -1/2 z) (/ (neg z) y)) (* y y)) (+ (* -1/2 z) (/ (neg z) y)) (/ (neg z) y) (* y y) (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (* (log y) x) (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (+ (* (neg y) z) (* (log y) x)) (* (+ (* (* x (/ (neg (log y)) y)) -1) (neg z)) y) (+ (* (* x (/ (neg (log y)) y)) -1) (neg z)) (* x (/ (neg (log y)) y)) (/ (neg (log y)) y) (neg (log y)) -1)
656.0ms
x-scale
@inf
((/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* y-scale (sqrt 8)) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))))))) 1/4 (* (* y-scale (sqrt 8)) (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))))))) (* y-scale (sqrt 8)) y-scale (sqrt 8) 8 (sqrt (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))))) (- (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (* 1/2 (/ (+ (* -2 (* (+ (pow (* a (sin (* 1/180 (* angle (PI))))) 2) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (* b b) (* a a)))) 2) (* y-scale y-scale)))) (+ (/ (pow (* a (cos (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)))))) (- (* b b) (* -1 (* b b))) (* b b) b (* -1 (* b b)) -1 (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (* (* x-scale y-scale) (* x-scale y-scale)))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (/ (* (* (* a a) a) (* (* b b) 4)) (* x-scale (* y-scale y-scale))) (* (* (* a a) a) (* (* b b) 4)) (* (* a a) a) (* a a) a (* (* b b) 4) 4 (* x-scale (* y-scale y-scale)) x-scale (* y-scale y-scale) (/ (* 4 (* (* b a) (* b (neg a)))) (* (* x-scale y-scale) (* x-scale y-scale))) (* 4 (* (* b a) (* b (neg a)))) (* (* b a) (* b (neg a))) (* b a) (* b (neg a)) (neg a) (* (* x-scale y-scale) (* x-scale y-scale)) (* x-scale y-scale) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (* a (* x-scale (* y-scale (sqrt 8)))) (* x-scale (* y-scale (sqrt 8))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))) (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))) (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (pow (cos (* 1/180 (* angle (PI)))) 2) (cos (* 1/180 (* angle (PI)))) (* 1/180 (* angle (PI))) 1/180 (* angle (PI)) angle (PI) 2 (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (pow (sin (* 1/180 (* angle (PI)))) 2) (sin (* 1/180 (* angle (PI)))) (* x-scale x-scale) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* 1/4 (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))) (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2)))))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale))) (sqrt (+ (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))) (* -1 (* (pow y-scale -1) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))))) (* (pow y-scale -1) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))))) (pow y-scale -1) (sqrt (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))))) (- (pow (cos (* 1/180 (* angle (PI)))) 2) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)))) (* 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2))) 1/2 (/ (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (* x-scale x-scale) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))))) (+ (* -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)))) -2 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) (* 4 (/ (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))) (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))) (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)) (pow (* x-scale y-scale) 2) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (- (+ (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow (* x-scale y-scale) 2))) (pow (- (/ (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* x-scale x-scale)) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale))) 2)))) (- (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (* 1/2 (/ (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)))) (/ (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* y-scale y-scale)) (pow (* b (sin (* 1/180 (* angle (PI))))) 2) (* b (sin (* 1/180 (* angle (PI))))) (* 1/2 (/ (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2))) (/ (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2)) (+ (* -2 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)))) (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale)) (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (pow b 4) (* 4 (/ (* (pow b 4) (pow (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) 2)) (* y-scale y-scale))) (pow (* b (cos (* 1/180 (* angle (PI))))) 2) (* b (cos (* 1/180 (* angle (PI))))))
464.0ms
x1
@inf
((+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* 2 x1) 2 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* (* 3 x1) x1) (* 2 x2)) (* (* 3 x1) x1) (* 3 x1) 3 (* 2 x2) x2 (+ (* x1 x1) 1) (* x1 x1) 1 (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (* x2 (- (+ (* 3 (/ (* x1 x1) (* x2 (+ 1 (* x1 x1))))) (* 2 (pow (+ 1 (* x1 x1)) -1))) (/ x1 (* x2 (+ 1 (* x1 x1)))))) (- (+ (* 3 (/ (* x1 x1) (* x2 (+ 1 (* x1 x1))))) (* 2 (pow (+ 1 (* x1 x1)) -1))) (/ x1 (* x2 (+ 1 (* x1 x1))))) (+ (* 3 (/ (* x1 x1) (* x2 (+ 1 (* x1 x1))))) (* 2 (pow (+ 1 (* x1 x1)) -1))) (/ (* x1 x1) (* x2 (+ 1 (* x1 x1)))) (* x2 (+ 1 (* x1 x1))) (+ 1 (* x1 x1)) (* 2 (pow (+ 1 (* x1 x1)) -1)) (pow (+ 1 (* x1 x1)) -1) -1 (/ x1 (* x2 (+ 1 (* x1 x1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 4 6 (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* x1 x1) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (- (* (* 3 x1) x1) (* 2 x2)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* -6 x2) -6 (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (* 8 (/ (* x1 (* x2 x2)) (+ 1 (* x1 x1)))) 8 (/ (* x1 (* x2 x2)) (+ 1 (* x1 x1))) (* x1 (* x2 x2)) (* x2 x2) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* (pow x1 4) (+ 6 (* -1 (/ (+ 3 (* -1 (/ (+ 9 (* 4 (- (* 2 x2) 3))) x1))) x1)))) (pow x1 4) (+ 6 (* -1 (/ (+ 3 (* -1 (/ (+ 9 (* 4 (- (* 2 x2) 3))) x1))) x1))) (* -1 (/ (+ 3 (* -1 (/ (+ 9 (* 4 (- (* 2 x2) 3))) x1))) x1)) (/ (+ 3 (* -1 (/ (+ 9 (* 4 (- (* 2 x2) 3))) x1))) x1) (+ 3 (* -1 (/ (+ 9 (* 4 (- (* 2 x2) 3))) x1))) (* -1 (/ (+ 9 (* 4 (- (* 2 x2) 3))) x1)) (/ (+ 9 (* 4 (- (* 2 x2) 3))) x1) (+ 9 (* 4 (- (* 2 x2) 3))) 9 (* 4 (- (* 2 x2) 3)) (- (* 2 x2) 3) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))

derivations2.2min (4.9%)

Memory
-1 331.1MiB live, 123 884.2MiB allocated; 25.4s collecting garbage
Stop Event
357×fuel
191×done
Compiler

Compiled 338 243 to 42 824 computations (87.3% saved)

analyze1.7min (3.8%)

Memory
828.3MiB live, 131 921.3MiB allocated; 34.5s collecting garbage
Algorithm
554×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.7%15.3%0%0%0%0
39.5%33.4%51.2%15.3%0%0%0%1
45.4%38.1%45.8%15.3%0%0.8%0%2
53.9%44.1%37.8%15.3%0%2.8%0%3
60.6%49.1%31.9%15.3%0%3.7%0%4
66.9%53.9%26.6%15.3%0%4.2%0%5
70.9%56.8%23.3%15.3%0%4.6%0%6
74.9%59.5%20%15.3%0%5.2%0%7
76.9%60.9%18.3%15.3%0%5.6%0%8
79.6%62.7%16.1%15.3%0%5.9%0%9
81.1%63.7%14.8%15.3%0%6.2%0%10
83.4%65.4%13%15.3%0%6.3%0%11
84.5%66.1%12.1%15.3%0%6.5%0%12
Compiler

Compiled 60 013 to 16 996 computations (71.7% saved)

preprocess1.2min (2.8%)

Memory
-3 819.1MiB live, 87 479.5MiB allocated; 19.1s collecting garbage
Stop Event
405×node-limit
144×saturated
Compiler

Compiled 1 411 934 to 402 848 computations (71.5% saved)

prune1.1min (2.5%)

Memory
-2 760.5MiB live, 103 069.1MiB allocated; 20.5s collecting garbage
Counts
701 665 → 33 269
Compiler

Compiled 3 307 010 to 1 461 104 computations (55.8% saved)

bsearch49.3s (1.9%)

Memory
88.6MiB live, 62 860.1MiB allocated; 14.7s collecting garbage
Algorithm
2 817×binary-search
1 639×left-value
Stop Event
2 716×narrow-enough
94×predicate-same
7×predicate-failed
Samples
19.7s196 952×0valid
7.1s17 291×1valid
1.8s2 171×2valid
660.0ms7 650×0invalid
96.0ms162×3valid
41.0ms200×1invalid
7.0ms107×0exit
1.0ms5×2invalid
Compiler

Compiled 1 605 644 to 1 079 657 computations (32.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.5s
ival-mult!: 5.9s (28.6% of total)
ival-cos: 2.6s (12.8% of total)
ival-sub!: 2.5s (12.3% of total)
ival-sin: 2.2s (11% of total)
ival-div!: 1.2s (6.1% of total)
ival-add!: 1.0s (5% of total)
adjust: 976.0ms (4.8% of total)
ival-log: 540.0ms (2.6% of total)
ival-exp: 492.0ms (2.4% of total)
ival-pow2: 490.0ms (2.4% of total)
ival-pow: 468.0ms (2.3% of total)
ival-sqrt: 442.0ms (2.2% of total)
ival-tan: 247.0ms (1.2% of total)
ival-atan2: 194.0ms (0.9% of total)
ival-neg: 192.0ms (0.9% of total)
ival-hypot: 189.0ms (0.9% of total)
ival-cosu: 185.0ms (0.9% of total)
ival-fmod: 102.0ms (0.5% of total)
ival-sinu: 83.0ms (0.4% of total)
ival-fmax: 78.0ms (0.4% of total)
ival-acos: 65.0ms (0.3% of total)
ival-fabs: 44.0ms (0.2% of total)
ival-atan: 34.0ms (0.2% of total)
ival-fmin: 18.0ms (0.1% of total)
ival-asin: 14.0ms (0.1% of total)
ival-tanh: 13.0ms (0.1% of total)
ival->=: 13.0ms (0.1% of total)
ival-tanu: 12.0ms (0.1% of total)
ival-if: 11.0ms (0.1% of total)
ival-log1p: 11.0ms (0.1% of total)
ival-sinh: 9.0ms (0% of total)
ival-expm1: 9.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)
ival-cbrt: 5.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

start100.0ms (0%)

Memory
21.7MiB live, 168.1MiB allocated; 53ms collecting garbage

end4.0ms (0%)

Memory
10.3MiB live, 9.6MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...