Herbie run

Date:Wednesday, January 15th, 2025
Commit:d270acbc on main
Seed:2025015
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:4 478 236.2 MB

Time bar (total: 1.2hr)

sample26.1min (37.4%)

Memory
16 183.7MiB live, 1 621 251.4MiB allocated; 8.6min collecting garbage
Samples
11.4min3 942 538×0valid
3.9min51 844×5exit
2.6min440 065×1valid
1.3min139 039×2valid
53.7s321 395×0invalid
14.1s15 071×3valid
9.1s28 221×1invalid
7.8s50 444×0exit
1.6s2 507×2invalid
234.0ms43×4valid
21.0ms31×1exit
Precisions
Click to see histograms. Total time spent on operations: 14.2min
ival-mult: 2.4min (17% of total)
ival-pow: 1.5min (10.7% of total)
const: 1.1min (8% of total)
ival-div: 1.1min (7.4% of total)
ival-sub: 1.0min (7.3% of total)
ival-add: 1.0min (7.3% of total)
adjust: 1.0min (7.1% of total)
ival-exp: 38.6s (4.5% of total)
ival-log: 36.3s (4.3% of total)
ival-sin: 26.2s (3.1% of total)
ival-cos: 25.2s (3% of total)
ival-pow2: 22.9s (2.7% of total)
ival-sqrt: 21.6s (2.5% of total)
ival-fmax: 18.7s (2.2% of total)
ival-tan: 17.6s (2.1% of total)
ival-<=: 11.7s (1.4% of total)
ival-neg: 10.6s (1.2% of total)
ival-fmin: 8.1s (0.9% of total)
ival-sinu: 6.7s (0.8% of total)
ival-cosu: 5.3s (0.6% of total)
ival-fabs: 5.0s (0.6% of total)
ival-hypot: 4.6s (0.5% of total)
exact: 3.8s (0.4% of total)
ival-<: 3.2s (0.4% of total)
ival-log1p: 2.9s (0.3% of total)
ival-true: 2.8s (0.3% of total)
ival-and: 2.8s (0.3% of total)
ival-e: 2.7s (0.3% of total)
ival-expm1: 2.6s (0.3% of total)
ival-pi: 2.5s (0.3% of total)
ival-assert: 2.0s (0.2% of total)
ival-acos: 1.9s (0.2% of total)
ival-atan2: 1.8s (0.2% of total)
ival-asin: 1.7s (0.2% of total)
ival-sinh: 1.5s (0.2% of total)
ival-fmod: 1.3s (0.2% of total)
ival-cbrt: 1.2s (0.1% of total)
ival-atan: 1.0s (0.1% of total)
ival->: 928.0ms (0.1% of total)
ival-floor: 689.0ms (0.1% of total)
ival-==: 668.0ms (0.1% of total)
ival-asinh: 453.0ms (0.1% of total)
ival-acosh: 446.0ms (0.1% of total)
ival-if: 391.0ms (0% of total)
ival->=: 369.0ms (0% of total)
ival-cosh: 369.0ms (0% of total)
ival-log2: 245.0ms (0% of total)
ival-tanu: 176.0ms (0% of total)
ival-atanh: 173.0ms (0% of total)
ival-tanh: 97.0ms (0% of total)
ival-or: 42.0ms (0% of total)
Bogosity

simplify12.6min (18%)

Memory
9 654.3MiB live, 743 773.8MiB allocated; 3.1min collecting garbage
Stop Event
6 027×iter limit
4 059×node limit
479×saturated
17×unsound
Counts
167 689 → 165 727

localize6.4min (9.1%)

Memory
1 057.4MiB live, 428 256.4MiB allocated; 1.4min collecting garbage
Samples
2.0min400 253×0valid
1.2min64 150×1valid
41.4s24 490×2valid
21.0s2 459×5exit
7.3s2 816×3valid
6.9s12 265×0invalid
1.2s2 356×0exit
448.0ms82×4valid
199.0ms8×4exit
125.0ms153×1exit
92.0ms7×3exit
43.0ms3×2exit
Compiler

Compiled 1 873 348 to 64 655 computations (96.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4min
ival-mult: 50.5s (24.7% of total)
adjust: 24.5s (12% of total)
ival-div: 22.8s (11.2% of total)
ival-add: 18.9s (9.2% of total)
ival-sin: 13.9s (6.8% of total)
ival-sub: 11.0s (5.4% of total)
ival-cos: 10.3s (5.1% of total)
const: 9.4s (4.6% of total)
ival-pow: 8.2s (4% of total)
ival-sqrt: 4.6s (2.3% of total)
ival-pow2: 4.5s (2.2% of total)
ival-log: 4.2s (2.1% of total)
ival-tan: 3.5s (1.7% of total)
ival-exp: 2.9s (1.4% of total)
ival-neg: 2.9s (1.4% of total)
ival-hypot: 1.7s (0.8% of total)
ival-fmax: 1.3s (0.7% of total)
ival-sinu: 1.0s (0.5% of total)
ival-cosu: 779.0ms (0.4% of total)
exact: 710.0ms (0.3% of total)
ival-log1p: 658.0ms (0.3% of total)
ival-atan2: 588.0ms (0.3% of total)
ival-acos: 585.0ms (0.3% of total)
ival-asin: 546.0ms (0.3% of total)
ival-fmin: 460.0ms (0.2% of total)
ival-sinh: 438.0ms (0.2% of total)
ival-cosh: 400.0ms (0.2% of total)
ival-true: 400.0ms (0.2% of total)
ival-pi: 375.0ms (0.2% of total)
ival-fabs: 324.0ms (0.2% of total)
ival-cbrt: 321.0ms (0.2% of total)
ival-expm1: 263.0ms (0.1% of total)
ival-atan: 232.0ms (0.1% of total)
ival-assert: 210.0ms (0.1% of total)
ival-if: 173.0ms (0.1% of total)
ival-fmod: 132.0ms (0.1% of total)
ival-floor: 120.0ms (0.1% of total)
ival-tanu: 71.0ms (0% of total)
ival-log2: 68.0ms (0% of total)
ival-e: 65.0ms (0% of total)
ival-tanh: 49.0ms (0% of total)
ival->=: 44.0ms (0% of total)
ival-asinh: 38.0ms (0% of total)
ival-copysign: 27.0ms (0% of total)
ival->: 20.0ms (0% of total)
ival-acosh: 11.0ms (0% of total)
ival-<: 5.0ms (0% of total)
ival-exp2: 3.0ms (0% of total)
ival-then: 1.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

rewrite4.1min (5.9%)

Memory
-1 567.8MiB live, 256 560.5MiB allocated; 57.6s collecting garbage
Stop Event
5 889×iter limit
1 596×node limit
373×unsound
37×saturated
Counts
28 177 → 451 715

derivations3.2min (4.7%)

Memory
-3 311.9MiB live, 151 163.2MiB allocated; 34.0s collecting garbage
Stop Event
361×fuel
187×done
Compiler

Compiled 335 599 to 44 564 computations (86.7% saved)

regimes3.1min (4.5%)

Memory
338.1MiB live, 235 515.1MiB allocated; 48.8s collecting garbage
Counts
96 765 → 9 001
Calls

1 239 calls:

16.1s
x
10.0s
y
7.8s
z
6.6s
a
5.5s
t
Compiler

Compiled 120 280 to 126 787 computations (-5.4% saved)

eval2.7min (3.8%)

Memory
1 121.2MiB live, 214 971.2MiB allocated; 47.3s collecting garbage
Compiler

Compiled 82 246 803 to 3 101 024 computations (96.2% saved)

explain2.5min (3.6%)

Memory
-3 450.8MiB live, 180 555.8MiB allocated; 40.9s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation922660
sqrt.f64#foflow-rescue81770
log.f64#fsensitivity37182
cos.f64#fsensitivity36844
+.f64#fcancellation3123140
sin.f64#fsensitivity23695
/.f64#fo/n19960
/.f64#fo/o18950
-.f64#fnan-rescue14720
*.f64#fn*o11560
log.f32#fsensitivity113072
/.f64#fn/o9940
/.f64#fu/u9920
sqrt.f64#fuflow-rescue9060
+.f64#fnan-rescue7450
/.f64#fu/n7210
acos.f64#fsensitivity5310
sqrt.f32#foflow-rescue5260
*.f64#fn*u4900
pow.f64#fsensitivity42831
tan.f64#fsensitivity4210
-.f32#fcancellation37233
/.f64#fn/u3170
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2140
cos.f32#fsensitivity19718
cos.f64#foflow-rescue1960
exp.f64#fsensitivity19441
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18719
*.f64#fu*o1630
pow.f64#foflow-rescue1580
*.f64#fo*u1550
asin.f64#fsensitivity1321
/.f32#fo/n1260
log.f64#foflow-rescue1090
cbrt.f64#foflow-rescue930
log.f64#fuflow-rescue770
exp.f32#fsensitivity6618
pow.f64#fuflow-rescue570
sin.f64#foflow-rescue450
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
cbrt.f64#fuflow-rescue420
/.f32#fu/n190
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-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow296
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow148
↳(*.f32 eta eta)underflow13
/.f32#fo/o120
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o60
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow16
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow16
*.f32#fn*o20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue10
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow1
↳(*.f32 x x)overflow115
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow115
Confusion
Predicted +Predicted -
+31582905
-6384101673
Precision
0.8318495495970079
Recall
0.9721427032351402
Confusion?
Predicted +Predicted MaybePredicted -
+31582262643
-6384396101277
Precision?
0.8244614747307374
Recall?
0.9802074676024256
Freqs
test
numberfreq
0102578
131577
24938
3639
4339
5205
681
745
87
94
1632
1766
2133
Total Confusion?
Predicted +Predicted MaybePredicted -
+34813
-92186
Precision?
0.9694444444444444
Recall?
0.9914772727272727
Samples
32.7s235 720×0valid
13.8s32 558×1valid
7.5s11 438×2valid
1.3s1 222×3valid
1.3s136×5exit
239.0ms14×4valid
Compiler

Compiled 258 295 to 22 513 computations (91.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.1s
ival-mult: 7.5s (20.8% of total)
ival-add: 3.7s (10.2% of total)
adjust: 3.5s (9.6% of total)
ival-sub: 3.1s (8.5% of total)
ival-div: 3.0s (8.2% of total)
ival-cos: 2.2s (6% of total)
ival-sin: 2.0s (5.5% of total)
ival-log: 1.7s (4.8% of total)
const: 1.3s (3.5% of total)
ival-exp: 1.1s (3% of total)
ival-sqrt: 1.0s (2.8% of total)
ival-pow2: 834.0ms (2.3% of total)
ival-tan: 764.0ms (2.1% of total)
ival-fmax: 745.0ms (2.1% of total)
ival-pow: 609.0ms (1.7% of total)
ival-sinu: 367.0ms (1% of total)
ival-cosu: 346.0ms (1% of total)
ival-neg: 345.0ms (1% of total)
ival-hypot: 272.0ms (0.8% of total)
ival-fmin: 242.0ms (0.7% of total)
ival-true: 233.0ms (0.6% of total)
exact: 178.0ms (0.5% of total)
ival-atan2: 139.0ms (0.4% of total)
ival-fabs: 133.0ms (0.4% of total)
ival-acos: 119.0ms (0.3% of total)
ival-assert: 114.0ms (0.3% of total)
ival-pi: 107.0ms (0.3% of total)
ival-log1p: 107.0ms (0.3% of total)
ival-asin: 91.0ms (0.3% of total)
ival-sinh: 81.0ms (0.2% of total)
ival-atan: 64.0ms (0.2% of total)
ival-floor: 59.0ms (0.2% of total)
ival-fmod: 43.0ms (0.1% of total)
ival-if: 39.0ms (0.1% of total)
ival-cbrt: 34.0ms (0.1% of total)
ival-expm1: 26.0ms (0.1% of total)
ival-e: 23.0ms (0.1% of total)
ival-cosh: 12.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival-copysign: 12.0ms (0% of total)
ival-tanu: 11.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

preprocess2.4min (3.4%)

Memory
7 783.5MiB live, 149 679.8MiB allocated; 31.7s collecting garbage
Stop Event
1 096×iter limit
804×node limit
296×saturated
Compiler

Compiled 803 593 to 154 083 computations (80.8% saved)

series2.1min (3%)

Memory
978.6MiB live, 158 808.4MiB allocated; 33.9s collecting garbage
Counts
28 177 → 167 689
Calls

16590 calls:

TimeVariablePointExpression
1.6s
t
@0
((+ (* (* (* (/ x (+ (* x (log y)) y)) x) (log y)) (log y)) (- (* (/ y (+ (* x (log y)) y)) (neg y)) (- z (log t)))) (- (* (/ y (+ (* x (log y)) y)) (neg y)) (- z (log t))) (* (* (/ x (+ (* x (log y)) y)) x) (log y)) (* (/ x (+ (* x (log y)) y)) x) (+ (- (- (* x (log y)) y) z) (log t)) (* (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) z) (- (/ (- (+ (* (log y) x) (log t)) y) z) 1) (/ (neg y) z) (+ (- (- (* x (log y)) y) z) (log t)) (- (log (* (pow y x) t)) z) (log (* (pow y x) t)) (* (pow y x) t) (- (* (/ x y) (log y)) 1) (+ (- (- (* x (log y)) y) z) (log t)) (- (- (* x (log y)) y) z) (- (* x (log y)) y) (/ (+ (* (neg y) y) (* (* (pow (log y) 2) x) x)) (+ (* (log y) x) y)) (+ (- (+ (* (pow (log y) 2) (/ (* x x) (+ (* (log y) x) y))) (/ (* (neg y) y) (+ (* (log y) x) y))) z) (log t)) (- (+ (* (pow (log y) 2) (/ (* x x) (+ (* (log y) x) y))) (/ (* (neg y) y) (+ (* (log y) x) y))) z) (+ (* (neg y) y) (* (* (pow (log y) 2) x) x)) (/ y (+ (* x (log y)) y)) (+ (* x (log y)) y) (neg y) (* (/ x y) (log y)) (* (- (* (/ x y) (log y)) 1) y) (pow (log y) 2) (* (pow (log y) 2) x))
507.0ms
re
@-inf
((* (/ (neg (atan2 im re)) (pow (log 1/10) 2)) (log 1/10)) (/ (neg (atan2 im re)) (pow (log 1/10) 2)) (neg (atan2 im re)) (atan2 im re) (log 1/10) (pow (log 1/10) 2))
372.0ms
f
@-inf
((/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ (PI) 4) (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (neg (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4))) (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (neg (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))))) (* 4 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (PI) -1)) (- (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4))) (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (log (* (cosh (* (/ (PI) -4) f)) 2)) (* (cosh (* (/ (PI) -4) f)) 2) (/ (/ -4 (PI)) -2) (/ -4 (* (PI) -2)) (+ (* (/ (/ -4 (PI)) -2) (log (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2))))) (neg (+ (* (/ (/ -4 (PI)) -2) (log (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))))) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2)))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (PI) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (log (* -2 (sinh (* (/ (PI) -4) f)))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (* (PI) -2))) (/ (cosh (* f (/ (PI) -4))) (sinh (* f (/ (PI) 4)))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))))
336.0ms
s
@0
((/ (- 2 (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (- 2 (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (* (neg s) (log (/ (- 2 (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)))) (neg s) (neg (* (+ (* 2 (/ (PI) s)) (/ (neg (PI)) (* u s))) u)) (+ (* 2 (/ (PI) s)) (/ (neg (PI)) (* u s))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* (* 1/2 (PI)) u) (* -1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))))) 1)) (+ (* (/ 1 (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (pow (- (exp (/ (PI) s)) -1) -2))) (- (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) -1) (* (neg s) (log (+ (* (/ 1 (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (pow (- (exp (/ (PI) s)) -1) -2))) (- (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) -1))) (log (+ (* (/ 1 (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (pow (- (exp (/ (PI) s)) -1) -2))) (- (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) -1)) (PI) (log (+ 1 (exp (/ (PI) s)))) (/ (PI) s) (/ (neg (PI)) s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (* (+ (* 2 (/ (PI) s)) (/ (neg (PI)) (* u s))) u) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))))) 1) (/ (+ (* (* 1/2 (PI)) u) (* -1/4 (PI))) s))
304.0ms
x
@0
((* (log (* y x)) (/ (log (/ x y)) (log (* y x)))) (* x (* (log (* y x)) (/ (log (/ x y)) (log (* y x))))) (log (* y x)) (* y x) (- (log x) (log y)) (* x (- (log x) (log y))) (log x) (log y) (exp (log x)) (exp (log y)) (* x (log (/ (exp (log x)) (exp (log y))))) (log (/ (exp (log x)) (exp (log y)))) (* x (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log (* y x)) (log y)) (pow (log x) 2)))) (/ (- (pow (log x) 3) (pow (log y) 3)) (+ (* (log (* y x)) (log y)) (pow (log x) 2))) (- (pow (log x) 3) (pow (log y) 3)) (pow (log x) 3) (* (neg x) (neg y)) (/ (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (+ (* (log (neg y)) (log (* (neg x) (neg y)))) (pow (log (neg x)) 2))) (* (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) x) (- (pow (log (neg x)) 3) (pow (log (neg y)) 3)) (log (/ x y)) (log (neg x)) (log (neg y)) (log (* (neg x) (neg y))) (neg x))

analyze2.0min (2.9%)

Memory
262.0MiB live, 134 482.0MiB allocated; 53.3s collecting garbage
Algorithm
554×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.7%15.3%0%0%0%0
40.6%34.4%50.3%15.3%0%0%0%1
46.5%39%44.9%15.3%0%0.8%0%2
55%45%36.9%15.3%0%2.8%0%3
61.7%50%31%15.3%0%3.7%0%4
67.9%54.6%25.9%15.3%0%4.2%0%5
71.7%57.5%22.6%15.3%0%4.6%0%6
75.7%60.2%19.3%15.3%0%5.2%0%7
77.6%61.4%17.7%15.3%0%5.6%0%8
80.2%63.2%15.6%15.3%0%5.9%0%9
81.7%64.2%14.3%15.3%0%6.2%0%10
83.9%65.8%12.6%15.3%0%6.3%0%11
85%66.5%11.7%15.3%0%6.5%0%12
Compiler

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

prune1.5min (2.2%)

Memory
-1 807.4MiB live, 130 065.2MiB allocated; 23.2s collecting garbage
Counts
700 910 → 34 197
Compiler

Compiled 3 625 892 to 1 551 523 computations (57.2% saved)

bsearch1.1min (1.5%)

Memory
677.5MiB live, 72 933.5MiB allocated; 16.8s collecting garbage
Algorithm
2 858×binary-search
1 748×left-value
Stop Event
2 753×narrow-enough
104×predicate-same
1×predicate-failed
Samples
30.0s196 168×0valid
8.2s16 189×1valid
1.2s2 258×2valid
1.2s8 366×0invalid
430.0ms295×3valid
47.0ms128×1invalid
26.0ms266×0exit
3.0ms8×2invalid
1.0ms2×4valid
Compiler

Compiled 1 780 091 to 1 166 620 computations (34.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.8s
ival-mult: 8.6s (27.8% of total)
ival-add: 4.7s (15.4% of total)
ival-sub: 3.4s (10.9% of total)
ival-div: 2.2s (7.2% of total)
ival-cos: 2.2s (7.1% of total)
ival-sin: 2.2s (7% of total)
adjust: 1.3s (4.3% of total)
const: 909.0ms (2.9% of total)
ival-pow2: 688.0ms (2.2% of total)
ival-pow: 680.0ms (2.2% of total)
ival-log: 667.0ms (2.2% of total)
ival-exp: 530.0ms (1.7% of total)
ival-sqrt: 420.0ms (1.4% of total)
ival-cosu: 301.0ms (1% of total)
ival-sinu: 263.0ms (0.9% of total)
ival-hypot: 246.0ms (0.8% of total)
ival-tan: 241.0ms (0.8% of total)
ival-neg: 218.0ms (0.7% of total)
ival-atan2: 178.0ms (0.6% of total)
ival-true: 158.0ms (0.5% of total)
ival-fmod: 123.0ms (0.4% of total)
exact: 108.0ms (0.4% of total)
ival-assert: 86.0ms (0.3% of total)
ival-acos: 71.0ms (0.2% of total)
ival-fmax: 52.0ms (0.2% of total)
ival-fabs: 45.0ms (0.1% of total)
ival-cosh: 42.0ms (0.1% of total)
ival-e: 37.0ms (0.1% of total)
ival-pi: 34.0ms (0.1% of total)
ival-atan: 34.0ms (0.1% of total)
ival-log1p: 22.0ms (0.1% of total)
ival-if: 20.0ms (0.1% of total)
ival-sinh: 15.0ms (0% of total)
ival-fmin: 13.0ms (0% of total)
ival-cbrt: 10.0ms (0% of total)
ival-tanu: 9.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival-asin: 8.0ms (0% of total)
ival->=: 5.0ms (0% of total)
ival-expm1: 5.0ms (0% of total)

start498.0ms (0%)

Memory
-79.2MiB live, 209.3MiB allocated; 831ms collecting garbage

end4.0ms (0%)

Memory
11.4MiB live, 10.5MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...