Herbie run

Date:Friday, January 10th, 2025
Commit:4dfe4069 on main
Seed:2025010
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:377 981.0 MB

Time bar (total: 5.8min)

sample1.6min (27.6%)

Memory
1 750.9MiB live, 112 361.5MiB allocated; 32.1s collecting garbage
Samples
51.6s433 772×0valid
10.2s26 605×1valid
4.5s9 341×2valid
2.1s4 326×0invalid
828.0ms8 049×0exit
403.0ms878×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.5s
ival-mult: 13.9s (27.6% of total)
ival-add: 5.8s (11.5% of total)
const: 4.4s (8.8% of total)
ival-div: 4.3s (8.6% of total)
ival-exp: 3.8s (7.4% of total)
adjust: 2.5s (4.9% of total)
ival-sub: 2.4s (4.7% of total)
ival-hypot: 2.4s (4.7% of total)
ival-log: 1.9s (3.7% of total)
ival-asin: 1.1s (2.2% of total)
ival-sqrt: 1.1s (2.2% of total)
ival-sin: 1.1s (2.1% of total)
ival-cos: 1.0s (2% of total)
ival-atan2: 793.0ms (1.6% of total)
ival-acosh: 417.0ms (0.8% of total)
ival-asinh: 366.0ms (0.7% of total)
exact: 366.0ms (0.7% of total)
ival-fabs: 351.0ms (0.7% of total)
ival->: 346.0ms (0.7% of total)
ival-pow: 287.0ms (0.6% of total)
ival-true: 284.0ms (0.6% of total)
ival-sinu: 275.0ms (0.5% of total)
ival-<=: 264.0ms (0.5% of total)
ival-neg: 248.0ms (0.5% of total)
ival-pi: 246.0ms (0.5% of total)
ival-assert: 198.0ms (0.4% of total)
ival-atanh: 139.0ms (0.3% of total)
ival->=: 111.0ms (0.2% of total)
ival-cosu: 91.0ms (0.2% of total)
ival-and: 82.0ms (0.2% of total)
Bogosity

simplify1.1min (19.5%)

Memory
1 552.7MiB live, 70 217.0MiB allocated; 14.4s collecting garbage
Stop Event
615×iter limit
387×node limit
72×saturated
Counts
15 218 → 15 051

derivations40.0s (11.5%)

Memory
129.8MiB live, 31 070.8MiB allocated; 6.7s collecting garbage
Stop Event
487×iter limit
216×node limit
37×fuel
24×unsound
20×done
1×saturated
Compiler

Compiled 37 060 to 4 595 computations (87.6% saved)

localize32.2s (9.2%)

Memory
-200.0MiB live, 36 512.6MiB allocated; 7.5s collecting garbage
Samples
13.0s41 568×0valid
5.6s4 871×1valid
3.0s1 769×2valid
978.0ms2 678×0invalid
730.0ms100×5exit
173.0ms335×0exit
142.0ms102×3valid
30.0ms33×4valid
Compiler

Compiled 68 266 to 6 182 computations (90.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.2s
ival-mult: 4.7s (27.6% of total)
ival-add: 2.1s (12.5% of total)
ival-div: 1.9s (10.9% of total)
adjust: 1.7s (10.1% of total)
const: 1.4s (8.2% of total)
ival-sub: 775.0ms (4.5% of total)
ival-pow: 637.0ms (3.7% of total)
ival-log: 582.0ms (3.4% of total)
ival-exp: 527.0ms (3.1% of total)
ival-hypot: 505.0ms (2.9% of total)
ival-sin: 274.0ms (1.6% of total)
ival-sqrt: 258.0ms (1.5% of total)
ival-neg: 257.0ms (1.5% of total)
ival-cos: 239.0ms (1.4% of total)
ival-atan2: 179.0ms (1% of total)
ival-acos: 163.0ms (0.9% of total)
ival-pow2: 160.0ms (0.9% of total)
ival-asin: 129.0ms (0.8% of total)
ival-fabs: 95.0ms (0.6% of total)
ival-copysign: 94.0ms (0.5% of total)
exact: 78.0ms (0.5% of total)
ival-cosh: 59.0ms (0.3% of total)
ival-asinh: 55.0ms (0.3% of total)
ival-true: 43.0ms (0.3% of total)
ival-pi: 42.0ms (0.2% of total)
ival-log1p: 41.0ms (0.2% of total)
ival-assert: 21.0ms (0.1% of total)
ival-sinh: 16.0ms (0.1% of total)
ival-sinu: 14.0ms (0.1% of total)
ival-cosu: 11.0ms (0.1% of total)
ival-acosh: 7.0ms (0% of total)
ival->: 1.0ms (0% of total)
ival-then: 0.0ms (0% of total)

rewrite26.4s (7.6%)

Memory
194.6MiB live, 27 180.0MiB allocated; 5.3s collecting garbage
Stop Event
605×iter limit
157×node limit
41×unsound
3×saturated
Counts
2 759 → 49 485

explain15.5s (4.4%)

Memory
-302.1MiB live, 18 593.0MiB allocated; 3.8s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue12280
-.f64#fcancellation7184
/.f64#fo/o6100
sqrt.f32#foflow-rescue2050
/.f64#fo/n1970
sin.f64#fsensitivity1952
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))sensitivity1922
+.f64#fcancellation1690
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1300
-.f64#fnan-rescue1160
sqrt.f64#fuflow-rescue1140
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1071
/.f64#fn/o850
*.f64#fn*u720
/.f64#fu/u700
+.f64#fnan-rescue620
/.f64#fu/n390
*.f64#fn*o310
/.f64#fn/u150
log.f32#foflow-rescue30
*.f64(*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))o*u20
↳(*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))overflow3
↳(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))overflow3
↳(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))underflow2
exp.f64(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))sensitivity10
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))oflow-rescue10
↳(+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))overflow1
↳(*.f64 x x)overflow55
↳(+.f64 (*.f64 x x) #s(literal 1 binary64))overflow55
Confusion
Predicted +Predicted -
+362040
-17510757
Precision
0.9538866930171278
Recall
0.9890710382513661
Confusion?
Predicted +Predicted MaybePredicted -
+3620238
-1751110746
Precision?
0.9511554621848739
Recall?
0.9896174863387979
Freqs
test
numberfreq
010797
13229
2565
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+3600
-0219
Precision?
0.9473684210526315
Recall?
1.0
Samples
3.3s25 542×0valid
1.4s2 694×1valid
726.0ms906×2valid
16.0ms42×3valid
Compiler

Compiled 13 558 to 2 283 computations (83.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-mult: 1.0s (28.2% of total)
ival-add: 456.0ms (12.6% of total)
adjust: 340.0ms (9.4% of total)
const: 247.0ms (6.8% of total)
ival-div: 221.0ms (6.1% of total)
ival-log: 210.0ms (5.8% of total)
ival-exp: 180.0ms (5% of total)
ival-hypot: 172.0ms (4.8% of total)
ival-cos: 170.0ms (4.7% of total)
ival-sub: 147.0ms (4.1% of total)
ival-asin: 83.0ms (2.3% of total)
ival-sin: 60.0ms (1.7% of total)
ival-sqrt: 57.0ms (1.6% of total)
ival-atan2: 51.0ms (1.4% of total)
ival-neg: 39.0ms (1.1% of total)
ival-fabs: 33.0ms (0.9% of total)
ival-true: 26.0ms (0.7% of total)
ival-pow: 23.0ms (0.6% of total)
exact: 21.0ms (0.6% of total)
ival-pi: 13.0ms (0.4% of total)
ival-copysign: 13.0ms (0.4% of total)
ival-assert: 13.0ms (0.4% of total)
ival-sinu: 9.0ms (0.2% of total)
ival-log1p: 7.0ms (0.2% of total)
ival-cosu: 6.0ms (0.2% of total)

eval14.9s (4.3%)

Memory
-56.8MiB live, 19 389.5MiB allocated; 4.1s collecting garbage
Compiler

Compiled 4 399 391 to 324 207 computations (92.6% saved)

preprocess14.6s (4.2%)

Memory
227.3MiB live, 14 524.8MiB allocated; 3.9s collecting garbage
Stop Event
114×iter limit
72×node limit
42×saturated
Compiler

Compiled 84 912 to 14 645 computations (82.8% saved)

regimes13.2s (3.8%)

Memory
-207.2MiB live, 15 414.2MiB allocated; 3.5s collecting garbage
Counts
8 126 → 898
Calls

132 calls:

910.0ms
(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
673.0ms
re
659.0ms
y.re
658.0ms
im
547.0ms
beta
Compiler

Compiled 14 284 to 10 146 computations (29% saved)

series11.3s (3.2%)

Memory
-483.1MiB live, 13 821.4MiB allocated; 4.2s collecting garbage
Counts
2 759 → 15 218
Calls

1263 calls:

TimeVariablePointExpression
869.0ms
x
@0
((/ (/ 1 (* (neg x) x)) (* (neg x) x)) (* (* (/ 1 (* (* x x) (* x x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (/ (/ 1 (* (neg x) x)) (* (neg x) x)) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (/ 1 (* (* x x) (* x x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (* (fabs x) (fabs x)) (/ (/ 15/8 (pow x 5)) (* (fabs x) x)) (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (/ 1 (* (* x x) (* x x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (/ 1 (* (* x x) (* x x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) (/ 1 (sqrt (PI))) (* (* (/ 1 (sqrt (PI))) (exp (* (fabs x) (fabs x)))) (/ (+ (* (pow (/ (pow (fabs x) -3) (pow x 4)) 3) 3375/512) (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 3)) (+ (* (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) (- (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))))) (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 2)))) (- (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 2) (* (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))))) (+ (pow (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) 2) (- (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 2) (* (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1)))))) (/ 1 (* (neg x) x)) (sqrt (PI)) (/ 1 (* (* x x) (* x x))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (/ 1 (* (* x x) (* x x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (/ 15/8 (pow x 5)) (/ 1/2 (* x x)) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (/ 1 (* (* x x) (* x x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (/ -3/4 (pow (fabs x) 5)) (/ (+ (* (pow (/ (pow (fabs x) -3) (pow x 4)) 3) 3375/512) (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 3)) (+ (* (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) (- (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))))) (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 2))) (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 2) (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 3) (/ (+ (* (pow (/ (pow (fabs x) -3) (pow x 4)) 3) 3375/512) (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 3)) (+ (pow (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) 2) (- (pow (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))) 2) (* (* (/ (pow (fabs x) -3) (pow x 4)) 15/8) (+ (* (pow (pow (fabs x) -1) 5) 3/4) (+ (* (pow (fabs x) -3) 1/2) (pow (fabs x) -1))))))))
118.0ms
im
@inf
((* 1 (* (cosh im) (sin re))) (* (cosh im) (sin re)) (cosh im) (sin re) (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) (* (+ (* (* 1/2 im) im) 1) (sin re)) (* (+ (* (* im im) 1/2) 1) re) (+ (* (* im im) 1/2) 1) (+ (* (* im 1/2) im) (+ (* (* (* (+ (* (* im im) 1/2) 1) re) re) (+ (* 1/120 (* re re)) -1/6)) 1)) (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) (* (+ (* (* 1/2 im) im) 1) (sin re)) (* (+ (* (* im 1/2) im) (+ (* (* (* (+ (* (* im im) 1/2) 1) re) re) (+ (* 1/120 (* re re)) -1/6)) 1)) re) (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) (* (+ (* (* 1/2 im) im) 1) (sin re)) (* (* (* (sin re) 1/2) im) im) (* (* (sin re) 1/2) im) (* (* (* 2 (cosh im)) (sin re)) 1/2) (* (* 2 (cosh im)) (sin re)) (* 2 (cosh im)) (cosh im) (* im im) (+ (* 1/24 (* im im)) 1/2) (+ (* (+ (* 1/24 (* im im)) 1/2) (* im im)) 1))
111.0ms
re
@0
((+ (* (/ (+ (* (* (/ 1/4 (pow im 4)) re) re) (/ -1/2 (* im im))) (log 1/10)) (* re re)) (/ (neg (log im)) (log 1/10))) (/ (neg (log (sqrt (+ (* im im) (* re re))))) (log 1/10)) (/ (+ (* (* (/ 1/4 (pow im 4)) re) re) (/ -1/2 (* im im))) (log 1/10)) (+ (* (* (/ 1/4 (pow im 4)) re) re) (/ -1/2 (* im im))) (/ (neg (log (sqrt (+ (* re re) (* im im))))) (log 1/10)) (neg (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im)))) (log im) (/ (* 1/2 (log (+ (* im im) (* re re)))) (log 10)) (* 1/2 (log (+ (* im im) (* re re)))) (log (+ (* im im) (* re re))) (+ (* (/ re im) (/ re im)) (* 2 (log im))) (/ (* 1/2 (- (log (+ (pow im 6) (pow re 6))) (log (+ (- (pow re 4) (pow (* im re) 2)) (pow im 4))))) (log 10)) (* 1/2 (- (log (+ (pow im 6) (pow re 6))) (log (+ (- (pow re 4) (pow (* im re) 2)) (pow im 4))))) (- (log (+ (pow im 6) (pow re 6))) (log (+ (- (pow re 4) (pow (* im re) 2)) (pow im 4)))) (log (+ (pow im 6) (pow re 6))) (* (/ 1/4 (pow im 4)) re) (log 1/10) (log 10) (log (+ (- (pow re 4) (pow (* im re) 2)) (pow im 4))) (+ (- (pow re 4) (pow (* im re) 2)) (pow im 4)) (- (pow re 4) (pow (* im re) 2)))
105.0ms
x
@-inf
((log (* (log x) x)) (* (log x) x) (log x) (log (/ x (log x))) (/ x (log x)) (/ (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log (* (log x) x)) (log (log x))) (pow (log x) 2))) (- (pow (log x) 3) (pow (log (log x)) 3)) (pow (log x) 3) (pow (log (log x)) 3) (pow (log x) 2))
91.0ms
im
@0
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (sqrt (+ (* im im) (* re re)))) (log base)) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (log base)) (log im) (log base) (* (log base) (/ (log (sqrt (+ (* im im) (* re re)))) (pow (log base) 2))) (/ (log (sqrt (+ (* im im) (* re re)))) (pow (log base) 2)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (exp (* (log (log base)) 2)) (* 0 0))) (sqrt (+ (* re re) (* im im))) (* (atan2 im re) 0) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (/ (pow (log base) 6) (pow (log base) 4)) (* 0 0)) (pow (log base) 2) (exp (* (log (log base)) 2)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (pow (log base) 6) (pow (log base) 4))

prune6.6s (1.9%)

Memory
176.3MiB live, 9 257.1MiB allocated; 1.4s collecting garbage
Counts
74 064 → 2 609
Compiler

Compiled 255 611 to 108 699 computations (57.5% saved)

bsearch5.7s (1.6%)

Memory
-43.2MiB live, 5 576.9MiB allocated; 1.7s collecting garbage
Algorithm
256×binary-search
199×left-value
Stop Event
244×narrow-enough
12×predicate-same
Samples
2.5s15 702×0valid
1.0s2 399×1valid
37.0ms124×2valid
9.0ms31×3valid
Compiler

Compiled 193 593 to 103 862 computations (46.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 785.0ms (31.6% of total)
ival-hypot: 253.0ms (10.2% of total)
ival-log: 181.0ms (7.3% of total)
ival-add: 167.0ms (6.7% of total)
ival-atan2: 159.0ms (6.4% of total)
ival-cos: 158.0ms (6.4% of total)
const: 137.0ms (5.5% of total)
adjust: 136.0ms (5.5% of total)
ival-exp: 131.0ms (5.3% of total)
ival-sub: 131.0ms (5.3% of total)
ival-div: 122.0ms (4.9% of total)
ival-sin: 66.0ms (2.7% of total)
ival-true: 14.0ms (0.6% of total)
ival-sqrt: 12.0ms (0.5% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 7.0ms (0.3% of total)
exact: 7.0ms (0.3% of total)
ival-neg: 7.0ms (0.3% of total)
ival-pi: 1.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

analyze4.2s (1.2%)

Memory
-59.9MiB live, 4 052.8MiB allocated; 3.0s collecting garbage
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start3.0ms (0%)

Memory
8.6MiB live, 8.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...