Herbie run

Date:Friday, April 11th, 2025
Commit:1485bc85 on chassis-platforms-cleanup
Seed:2025101
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 572 098.5 MB

Time bar (total: 45.2min)

sample16.9min (37.4%)

Memory
14 905.8MiB live, 1 269 840.4MiB allocated; 5.8min collecting garbage
Samples
5.8min3 936 371×0valid
2.1min18 904×3exit
2.0min450 290×1valid
1.1min141 781×2valid
36.3s320 995×0invalid
30.7s33 554×5exit
18.5s4 639×4exit
12.2s15 277×3valid
7.0s51 764×0exit
6.5s29 108×1invalid
841.0ms6 505×1exit
655.0ms1 493×2invalid
96.0ms43×4valid
4.0ms2×2exit
Precisions
Click to see histograms. Total time spent on operations: 9.4min
ival-mult!: 1.7min (17.6% of total)
adjust: 53.9s (9.6% of total)
ival-div!: 45.0s (8% of total)
ival-log: 41.4s (7.3% of total)
ival-pow: 40.4s (7.2% of total)
ival-exp: 39.3s (7% of total)
ival-pow2: 33.9s (6% of total)
ival-add!: 32.2s (5.7% of total)
ival-sub!: 28.7s (5.1% of total)
ival-cos: 25.0s (4.4% of total)
ival-sin: 23.5s (4.2% of total)
ival-sqrt: 22.6s (4% of total)
ival-tan: 16.3s (2.9% of total)
ival-neg: 10.4s (1.8% of total)
ival-sinu: 6.1s (1.1% of total)
ival-cosu: 5.3s (0.9% of total)
ival-fmax: 4.7s (0.8% of total)
ival-fabs: 4.1s (0.7% of total)
ival-fmin: 3.6s (0.6% of total)
ival-hypot: 3.6s (0.6% of total)
ival-cosh: 3.6s (0.6% of total)
ival-expm1: 2.8s (0.5% of total)
ival-asin: 2.1s (0.4% of total)
ival-acos: 1.9s (0.3% of total)
ival-sinh: 1.7s (0.3% of total)
ival-atan2: 1.6s (0.3% of total)
ival-log1p: 1.6s (0.3% of total)
ival-atan: 1.5s (0.3% of total)
ival-cbrt: 1.1s (0.2% of total)
ival-fmod: 1.0s (0.2% of total)
ival-<=: 973.0ms (0.2% of total)
ival-floor: 806.0ms (0.1% of total)
ival-and: 778.0ms (0.1% of total)
ival-<: 642.0ms (0.1% of total)
ival-acosh: 283.0ms (0.1% of total)
ival-log2: 281.0ms (0% of total)
ival-asinh: 261.0ms (0% of total)
ival-if: 253.0ms (0% of total)
ival-tanu: 225.0ms (0% of total)
ival-atanh: 212.0ms (0% of total)
ival-tanh: 149.0ms (0% of total)
ival->=: 116.0ms (0% of total)
ival-assert: 115.0ms (0% of total)
ival->: 48.0ms (0% of total)
ival-or: 15.0ms (0% of total)
const: 3.0ms (0% of total)
ival-==: 3.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite7.0min (15.6%)

Memory
10 435.9MiB live, 475 314.0MiB allocated; 2.0min collecting garbage
Stop Event
4 633×iter-limit
1 799×node-limit
124×unsound
39×saturated
Counts
333 753 → 603 082

explain4.3min (9.4%)

Memory
-65.5MiB live, 366 251.3MiB allocated; 1.4min collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation917569
sqrt.f64#foflow-rescue85280
cos.f64#fsensitivity377813
log.f64#fsensitivity37117
+.f64#fcancellation3076129
sin.f64#fsensitivity24593
/.f64#fo/n19590
/.f64#fo/o18720
-.f64#fnan-rescue14640
*.f64#fn*o11180
log.f32#fsensitivity111678
/.f64#fn/o9740
/.f64#fu/u9620
sqrt.f64#fuflow-rescue9020
+.f64#fnan-rescue8490
/.f64#fu/n6960
acos.f64#fsensitivity5253
sqrt.f32#foflow-rescue5240
*.f64#fn*u4970
tan.f64#fsensitivity4420
pow.f64#fsensitivity40037
-.f32#fcancellation39326
/.f64#fn/u3580
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2140
cos.f32#fsensitivity1968
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18816
exp.f64#fsensitivity18338
*.f64#fu*o1780
cos.f64#foflow-rescue1690
pow.f64#foflow-rescue1490
*.f64#fo*u1410
asin.f64#fsensitivity1374
/.f32#fo/n1140
log.f64#foflow-rescue980
cbrt.f64#foflow-rescue850
log.f64#fuflow-rescue740
pow.f64#fuflow-rescue660
cbrt.f64#fuflow-rescue450
exp.f32#fsensitivity4415
sin.f64#foflow-rescue300
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue280
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow28
/.f32#fu/n230
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-rescue160
↳(*.f32 sinTheta_O sinTheta_O)underflow292
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow16
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow146
↳(*.f32 eta eta)underflow16
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue50
↳(+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32))))overflow5
↳(+.f32 (*.f32 x x) #s(literal 1 binary32))overflow71
↳(*.f32 x x)overflow71
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o20
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow9
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow9
/.f32#fo/o20
tan.f64(tan.f64 (+.f64 y z))cancellation10
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
Confusion
Predicted +Predicted -
+31582907
-6332101723
Precision
0.8329904520757504
Recall
0.9720828588137523
Confusion?
Predicted +Predicted MaybePredicted -
+31582246661
-6332425101298
Precision?
0.8248801347673966
Recall?
0.9796546523438703
Freqs
test
numberfreq
0102630
131364
25046
3663
4347
5219
681
746
87
93
1643
1765
2130
Total Confusion?
Predicted +Predicted MaybePredicted -
+34523
-151183
Precision?
0.9559228650137741
Recall?
0.9914285714285714
Samples
21.2s235 074×0valid
9.8s33 276×1valid
6.6s11 332×2valid
2.0s1 266×3valid
247.0ms26×5exit
77.0ms10×4valid
15.0ms106×1exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 25.2s
ival-mult!: 4.7s (18.6% of total)
adjust: 2.4s (9.7% of total)
ival-sub!: 2.2s (8.9% of total)
ival-sin: 1.9s (7.6% of total)
ival-div!: 1.9s (7.4% of total)
ival-log: 1.7s (6.6% of total)
ival-cos: 1.6s (6.4% of total)
ival-add!: 1.5s (5.8% of total)
ival-sqrt: 1.0s (4.1% of total)
ival-exp: 1.0s (4% of total)
ival-tan: 890.0ms (3.5% of total)
ival-pow2: 808.0ms (3.2% of total)
ival-fmax: 748.0ms (3% of total)
ival-pow: 532.0ms (2.1% of total)
ival-neg: 358.0ms (1.4% of total)
ival-sinu: 323.0ms (1.3% of total)
ival-cosu: 304.0ms (1.2% of total)
ival-fmin: 277.0ms (1.1% of total)
ival-hypot: 229.0ms (0.9% of total)
ival-asin: 104.0ms (0.4% of total)
ival-atan2: 93.0ms (0.4% of total)
ival-acos: 88.0ms (0.3% of total)
ival-log1p: 85.0ms (0.3% of total)
ival-fabs: 81.0ms (0.3% of total)
ival-atan: 73.0ms (0.3% of total)
ival-sinh: 53.0ms (0.2% of total)
ival-floor: 40.0ms (0.2% of total)
ival-fmod: 39.0ms (0.2% of total)
ival-cbrt: 36.0ms (0.1% of total)
ival-expm1: 31.0ms (0.1% of total)
ival-if: 28.0ms (0.1% of total)
ival-cosh: 17.0ms (0.1% of total)
ival-tanu: 12.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival-copysign: 11.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival->=: 7.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.8min (8.5%)

Memory
967.4MiB live, 369 097.6MiB allocated; 1.2min collecting garbage
Compiler

Compiled 191 247 455 to 4 156 415 computations (97.8% saved)

regimes2.9min (6.4%)

Memory
1 699.5MiB live, 279 955.8MiB allocated; 40.1s collecting garbage
Counts
102 729 → 9 336
Calls

1 242 calls:

12.8s
x
9.1s
y
6.3s
z
5.1s
a
4.7s
t
Compiler

Compiled 129 398 to 128 667 computations (0.6% saved)

series2.6min (5.8%)

Memory
7 310.6MiB live, 226 771.7MiB allocated; 49.1s collecting garbage
Counts
53 397 → 280 356
Calls

16308 calls:

TimeVariablePointExpression
2.7s
y
@inf
((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (* x (log y)) z) t) (+ (* x (log y)) z) (* x (log y)) x (log y) y z t a (* (- b 1/2) (log c)) (- b 1/2) b 1/2 (log c) c (* y i) i)
997.0ms
b
@0
((+ (* (/ (+ t y) (+ (+ y x) t)) a) (/ (+ (* (+ y x) z) (* (neg b) y)) (+ (+ y x) t))) (/ (+ t y) (+ (+ y x) t)) (+ t y) t y (+ (+ y x) t) (+ y x) x a (/ (+ (* (+ y x) z) (* (neg b) y)) (+ (+ y x) t)) (* z (+ (* -1 (/ (* b y) (* z (+ t (+ x y))))) (/ (+ x y) (+ t (+ x y))))) z (+ (* -1 (/ (* b y) (* z (+ t (+ x y))))) (/ (+ x y) (+ t (+ x y)))) -1 (/ (* b y) (* z (+ t (+ x y)))) (* b y) b (* z (+ t (+ x y))) (+ t (+ x y)) (+ x y) (/ (+ x y) (+ t (+ x y))) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (/ (+ (* a t) (* z x)) (+ t x)) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (/ (+ (* a t) (* z x)) (+ t x)) (+ z (* t (/ (- a z) x))) (* t (/ (- a z) x)) (/ (- a z) x) (- a z) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (* (+ t y) a) (* (neg b) y)) (* (neg b) y) (neg b) (+ (+ x t) y) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (* (+ t y) a) (* (neg b) y)) (* a (+ t (+ y (* -1 (/ (* b y) a))))) (+ t (+ y (* -1 (/ (* b y) a)))) (+ y (* -1 (/ (* b y) a))) (* -1 (/ (* b y) a)) (/ (* b y) a) (+ (+ x t) y) (+ x t))
918.0ms
l
@0
((/ 2 (* (* (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (tan k)) (+ (* (/ k t) (/ k t)) 2))) 2 (* (* (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (tan k)) (+ (* (/ k t) (/ k t)) 2)) (* (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (tan k)) (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (exp (+ (* (log t) 3) (* -2 (log l)))) (+ (* (log t) 3) (* -2 (log l))) (log t) t 3 (* -2 (log l)) -2 (log l) l (sin k) k (tan k) (+ (* (/ k t) (/ k t)) 2) (/ k t) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* l (/ l (* k (* k (* (* t t) t))))) (/ l (* k (* k (* (* t t) t)))) (* k (* k (* (* t t) t))) (* k (* (* t t) t)) (* (* t t) t) (* t t) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (/ (+ (* (+ (* 1/3 (* (* t t) t)) t) (* k k)) (* 2 (* (* t t) t))) (* l l)) (* k k)) (/ (+ (* (+ (* 1/3 (* (* t t) t)) t) (* k k)) (* 2 (* (* t t) t))) (* l l)) (+ (* (+ (* 1/3 (* (* t t) t)) t) (* k k)) (* 2 (* (* t t) t))) (* (+ (* (* k k) 1/3) 2) (* (* t t) t)) (+ (* (* k k) 1/3) 2) (* k k) 1/3 (* l l) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (* (* t t) t) (/ (- 1/2 (* 1/2 (cos (* 2 k)))) (* (cos k) (* l l)))) 2) (* (* (* t t) t) (/ (- 1/2 (* 1/2 (cos (* 2 k)))) (* (cos k) (* l l)))) (/ (- 1/2 (* 1/2 (cos (* 2 k)))) (* (cos k) (* l l))) (- 1/2 (* 1/2 (cos (* 2 k)))) 1/2 (* 1/2 (cos (* 2 k))) (* (cos k) (* l l)) (cos k) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ (* 2 (* (cos k) (* t t))) (* (* (* (* t t) (/ t (* l l))) (* k k)) (- 1/2 (* (cos (+ k k)) 1/2)))) (* 2 (* (cos k) (* t t))) (* (cos k) (* t t)) (* (* (* (* t t) (/ t (* l l))) (* k k)) (- 1/2 (* (cos (+ k k)) 1/2))) (* (* (* t t) (/ t (* l l))) (* k k)) (* (* t t) (/ t (* l l))) (/ t (* l l)) (- 1/2 (* (cos (+ k k)) 1/2)) (* (cos (+ k k)) 1/2) (cos (+ k k)) (+ k k))
872.0ms
lambda1
@inf
((* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2))))) (- phi1 phi2) phi1 phi2 (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (cos (/ (+ phi2 phi1) 2)) (/ (+ phi2 phi1) 2) (* 1/2 phi2) 1/2 (- lambda1 lambda2) lambda1 lambda2 (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2))))) (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2))))) (* (neg phi2) (+ (/ (neg phi1) phi2) 1)) (neg phi2) (+ (/ (neg phi1) phi2) 1) (/ (neg phi1) phi2) (neg phi1) 1 (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (* R lambda2) (sin (+ (* 1/2 (+ phi2 phi1)) (/ (PI) 2)))) (* R lambda2) (sin (+ (* 1/2 (+ phi2 phi1)) (/ (PI) 2))) (+ (* 1/2 (+ phi2 phi1)) (/ (PI) 2)) (+ phi2 phi1) (/ (PI) 2) (PI) 2 (* R (sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)) (* (cos (/ (+ phi2 phi1) 2)) (- lambda1 lambda2)))))) (* (neg lambda2) (+ (* R (cos (* 1/2 (+ phi2 phi1)))) (/ (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) lambda2))) (neg lambda2) (+ (* R (cos (* 1/2 (+ phi2 phi1)))) (/ (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) lambda2)) (cos (* 1/2 (+ phi2 phi1))) (* 1/2 (+ phi2 phi1)) (/ (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) lambda2) (neg (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1))))) (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1)))) (* R lambda1))
735.0ms
c0
@0
((* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (/ c0 (* 2 w)) c0 (* 2 w) 2 w (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (/ (* 2 (* (* d d) c0)) (* (* (* h w) D) D)) (* 2 (* (* d d) c0)) (* (* d d) c0) (* d d) d (* (* (* h w) D) D) (* (* h w) D) (* h w) h D (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (* (sqrt -1) M) (sqrt -1) -1 M (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ (* (/ (* (* (* M M) h) (* D D)) (* d d)) -1/4) (* (* c0 c0) (/ (* d d) (* (* (* D D) h) (* w w))))) (/ (* (* (* M M) h) (* D D)) (* d d)) (* (* (* M M) h) (* D D)) (* (* M M) h) (* M M) (* D D) -1/4 (* (* c0 c0) (/ (* d d) (* (* (* D D) h) (* w w)))) (* c0 c0) (/ (* d d) (* (* (* D D) h) (* w w))) (* (* (* D D) h) (* w w)) (* (* D D) h) (* w w) (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (* (+ (* (/ (* 0 (/ (* d d) (* (* (* h w) D) D))) w) -1/2) (* (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) 1/4)) (* c0 c0)) (+ (* (/ (* 0 (/ (* d d) (* (* (* h w) D) D))) w) -1/2) (* (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) 1/4)) (/ (* 0 (/ (* d d) (* (* (* h w) D) D))) w) (* 0 (/ (* d d) (* (* (* h w) D) D))) 0 (/ (* d d) (* (* (* h w) D) D)) -1/2 (* (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) 1/4) (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) (/ (* (* M M) h) (* (* c0 c0) (* d d))) (* (* c0 c0) (* d d)) 1/4 (/ (* c0 (+ (* c0 (/ (* d d) (* (* (* h w) D) D))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M))))) (+ w w)) (* c0 (+ (* c0 (/ (* d d) (* (* (* h w) D) D))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M))))) (+ (* c0 (/ (* d d) (* (* (* h w) D) D))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M)))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M))) (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M)) (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D)) (+ w w))

derivations2.2min (4.9%)

Memory
-1 610.9MiB live, 130 107.1MiB allocated; 23.4s collecting garbage
Stop Event
356×fuel
192×done
Compiler

Compiled 363 495 to 45 187 computations (87.6% saved)

analyze1.8min (3.9%)

Memory
389.6MiB live, 135 502.4MiB allocated; 39.4s 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.6min (3.6%)

Memory
-4 020.2MiB live, 138 042.0MiB allocated; 28.8s collecting garbage
Stop Event
405×node-limit
144×saturated
Compiler

Compiled 1 490 640 to 423 984 computations (71.6% saved)

prune1.2min (2.6%)

Memory
-2 381.5MiB live, 111 471.9MiB allocated; 21.6s collecting garbage
Counts
728 013 → 34 926
Compiler

Compiled 3 789 102 to 1 584 144 computations (58.2% saved)

bsearch52.7s (1.9%)

Memory
1 479.3MiB live, 69 559.5MiB allocated; 15.2s collecting garbage
Algorithm
3 098×binary-search
1 694×left-value
Stop Event
3 017×narrow-enough
81×predicate-same
Samples
20.1s212 739×0valid
7.1s16 258×1valid
1.1s2 944×2valid
763.0ms8 532×0invalid
352.0ms475×3valid
68.0ms323×1invalid
18.0ms64×2invalid
9.0ms153×0exit
1.0ms6×1exit
Compiler

Compiled 1 846 838 to 1 223 574 computations (33.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.6s
ival-mult!: 5.9s (28.7% of total)
ival-sin: 2.9s (13.9% of total)
ival-cos: 2.1s (10% of total)
ival-sub!: 1.6s (7.6% of total)
ival-div!: 1.5s (7.1% of total)
ival-add!: 1.3s (6.1% of total)
adjust: 1.2s (5.6% of total)
ival-log: 856.0ms (4.2% of total)
ival-pow2: 586.0ms (2.8% of total)
ival-sqrt: 534.0ms (2.6% of total)
ival-exp: 494.0ms (2.4% of total)
ival-pow: 484.0ms (2.3% of total)
ival-hypot: 213.0ms (1% of total)
ival-neg: 182.0ms (0.9% of total)
ival-cosu: 175.0ms (0.8% of total)
ival-atan2: 165.0ms (0.8% of total)
ival-sinu: 157.0ms (0.8% of total)
ival-tan: 145.0ms (0.7% of total)
ival-acos: 67.0ms (0.3% of total)
ival-fabs: 44.0ms (0.2% of total)
ival-atan: 30.0ms (0.1% of total)
ival-fmod: 30.0ms (0.1% of total)
ival-fmax: 27.0ms (0.1% of total)
ival-cosh: 18.0ms (0.1% of total)
ival-asin: 17.0ms (0.1% of total)
ival-tanu: 14.0ms (0.1% of total)
ival-if: 13.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-log1p: 10.0ms (0% of total)
ival->=: 10.0ms (0% of total)
ival-expm1: 10.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-fmin: 7.0ms (0% of total)
ival-cbrt: 6.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

start941.0ms (0%)

Memory
-97.8MiB live, 174.0MiB allocated; 1.9s collecting garbage

end4.0ms (0%)

Memory
11.1MiB live, 10.7MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...