Herbie run

Date:Friday, January 17th, 2025
Commit:0ed7f8bc on no-localize
Seed:2025017
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:346 925.7 MB

Time bar (total: 4.8min)

sample1.7min (35%)

Memory
1 225.3MiB live, 120 089.5MiB allocated; 37.8s collecting garbage
Samples
52.9s434 002×0valid
11.0s26 551×1valid
4.7s9 196×2valid
3.7s9 150×0exit
2.3s4 382×0invalid
350.0ms875×3valid
Precisions
Click to see histograms. Total time spent on operations: 54.0s
ival-mult: 14.6s (27.1% of total)
ival-add: 5.5s (10.3% of total)
const: 5.0s (9.2% of total)
ival-div: 4.8s (9% of total)
ival-exp: 4.2s (7.8% of total)
adjust: 2.6s (4.8% of total)
ival-hypot: 2.5s (4.6% of total)
ival-sub: 2.4s (4.4% of total)
ival-log: 1.7s (3.2% of total)
ival-asin: 1.4s (2.7% of total)
ival-sin: 1.2s (2.2% of total)
ival-atan2: 1.1s (2.1% of total)
ival-pi: 1.1s (2% of total)
ival-cos: 982.0ms (1.8% of total)
ival-sqrt: 873.0ms (1.6% of total)
ival->: 515.0ms (1% of total)
ival-asinh: 487.0ms (0.9% of total)
ival-pow: 385.0ms (0.7% of total)
exact: 364.0ms (0.7% of total)
ival-sinu: 321.0ms (0.6% of total)
ival-fabs: 283.0ms (0.5% of total)
ival-neg: 264.0ms (0.5% of total)
ival-true: 261.0ms (0.5% of total)
ival-acosh: 242.0ms (0.4% of total)
ival-assert: 186.0ms (0.3% of total)
ival-<=: 178.0ms (0.3% of total)
ival-atanh: 173.0ms (0.3% of total)
ival->=: 143.0ms (0.3% of total)
ival-cosu: 83.0ms (0.2% of total)
ival-and: 80.0ms (0.1% of total)
Bogosity

simplify43.7s (15.2%)

Memory
680.1MiB live, 47 854.9MiB allocated; 12.2s collecting garbage
Stop Event
231×node limit
211×iter limit
27×saturated
Counts
20 527 → 20 113

rewrite29.9s (10.4%)

Memory
-725.9MiB live, 31 370.4MiB allocated; 11.3s collecting garbage
Stop Event
609×iter limit
151×node limit
47×unsound
3×saturated
Counts
5 562 → 71 696

eval22.9s (8%)

Memory
172.2MiB live, 33 468.5MiB allocated; 8.3s collecting garbage
Compiler

Compiled 7 459 615 to 512 586 computations (93.1% saved)

derivations18.3s (6.4%)

Memory
102.8MiB live, 16 088.4MiB allocated; 3.1s collecting garbage
Stop Event
37×fuel
20×done
Compiler

Compiled 35 131 to 4 418 computations (87.4% saved)

explain15.3s (5.3%)

Memory
-411.2MiB live, 21 614.1MiB allocated; 4.7s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue12070
-.f64#fcancellation7910
/.f64#fo/o6320
/.f64#fo/n1940
sqrt.f32#foflow-rescue1920
sin.f64#fsensitivity1870
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)))sensitivity1830
+.f64#fcancellation1480
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1300
sqrt.f64#fuflow-rescue1250
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1210
/.f64#fn/o920
-.f64#fnan-rescue750
*.f64#fn*u650
/.f64#fu/u640
+.f64#fnan-rescue600
*.f64#fn*o450
/.f64#fu/n410
/.f64#fn/u110
exp.f64#fsensitivity30
*.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*u30
↳(*.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))))underflow3
pow.f64(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)))sensitivity20
log.f32#foflow-rescue20
Confusion
Predicted +Predicted -
+362939
-19010734
Precision
0.9502487562189055
Recall
0.9893675027262814
Confusion?
Predicted +Predicted MaybePredicted -
+3629039
-190510729
Precision?
0.9490062761506276
Recall?
0.9893675027262814
Freqs
test
numberfreq
010773
13270
2544
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+3600
-0219
Precision?
0.9473684210526315
Recall?
1.0
Samples
3.5s25 514×0valid
1.3s2 706×1valid
882.0ms898×2valid
28.0ms64×3valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 961.0ms (26% of total)
ival-add: 415.0ms (11.2% of total)
adjust: 411.0ms (11.1% of total)
ival-log: 277.0ms (7.5% of total)
ival-exp: 255.0ms (6.9% of total)
ival-div: 228.0ms (6.2% of total)
ival-sub: 226.0ms (6.1% of total)
const: 204.0ms (5.5% of total)
ival-hypot: 147.0ms (4% of total)
ival-asin: 126.0ms (3.4% of total)
ival-sin: 88.0ms (2.4% of total)
ival-cos: 65.0ms (1.8% of total)
ival-fabs: 63.0ms (1.7% of total)
ival-sqrt: 48.0ms (1.3% of total)
ival-atan2: 42.0ms (1.1% of total)
ival-true: 25.0ms (0.7% of total)
ival-pow: 23.0ms (0.6% of total)
exact: 21.0ms (0.6% of total)
ival-copysign: 14.0ms (0.4% of total)
ival-pi: 13.0ms (0.4% of total)
ival-neg: 12.0ms (0.3% of total)
ival-assert: 12.0ms (0.3% of total)
ival-log1p: 12.0ms (0.3% of total)
ival-sinu: 9.0ms (0.2% of total)
ival-cosu: 5.0ms (0.1% of total)

series14.2s (5%)

Memory
563.7MiB live, 19 563.6MiB allocated; 5.0s collecting garbage
Counts
5 562 → 20 527
Calls

1257 calls:

TimeVariablePointExpression
449.0ms
im
@-inf
((/ (+ (* (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))) im re (log base) base (/ (+ (* (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 (sqrt (+ (* im im) (* re re)))) (/ (log base) (pow (log base) 2))) (/ (log base) (pow (log base) 2)) (pow (log base) 2) 2 (* (/ (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6)) (pow (log base) 4)) (/ (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6)) (* (log base) (log (sqrt (+ (* im im) (* re re))))) (pow (log base) 6) 6 (pow (log base) 4) 4 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ (pow (log base) 6) (pow (log base) 4))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (* im im) (* (atan2 im re) 0) (atan2 im re) 0 (/ (pow (log base) 6) (pow (log base) 4)))
220.0ms
y.im
@0
((/ (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)))) (pow (exp (atan2 x.im x.re)) y.im)) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) x.im x.re y.re (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re))) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)) y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (* (atan2 x.im x.re) y.re) (atan2 x.im x.re) (pow (exp (atan2 x.im x.re)) y.im) (exp (atan2 x.im x.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (exp (neg y.im)) (atan2 x.im x.re)) (cos (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) (+ (* (neg y.im) (atan2 x.im x.re)) 1) (neg y.im) 1 (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (* x.re (+ (* 1/2 (/ (* x.im x.im) (* x.re x.re))) 1)) (+ (* 1/2 (/ (* x.im x.im) (* x.re x.re))) 1) 1/2 (/ (* x.im x.im) (* x.re x.re)) (* x.im x.im) (* x.re x.re) (cos (* (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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (exp (neg y.im)) (atan2 x.im x.re)) (cos (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) (* (cos (* (neg y.im) (log (/ -1 x.re)))) (exp (* (neg y.im) (atan2 x.im x.re)))) (cos (* (neg y.im) (log (/ -1 x.re)))) (* (neg y.im) (log (/ -1 x.re))) (log (/ -1 x.re)) (/ -1 x.re) -1 (exp (* (neg y.im) (atan2 x.im x.re))) (* (neg y.im) (atan2 x.im x.re)) (/ (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)))) (pow (exp y.im) (atan2 x.im x.re))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* (atan2 x.im x.re) y.re)))) (cos (* y.im (log (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* y.im (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (pow (exp y.im) (atan2 x.im x.re)) (exp y.im))
207.0ms
x
@-inf
((copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (* (+ (* (+ (* (* 1/720 (* x x)) (- (/ (+ (/ 30 (- (fabs x) -1)) 45) (pow (- (fabs x) -1) 2)) (/ -45 (- (fabs x) -1)))) (* (/ (+ (/ 3 (- (fabs x) -1)) 3) (- (fabs x) -1)) -1/24)) (* x x)) (/ 1/2 (- (fabs x) -1))) (* x x)) (log (+ 1 (fabs x)))) (+ (* (+ (* (* 1/720 (* x x)) (- (/ (+ (/ 30 (- (fabs x) -1)) 45) (pow (- (fabs x) -1) 2)) (/ -45 (- (fabs x) -1)))) (* (/ (+ (/ 3 (- (fabs x) -1)) 3) (- (fabs x) -1)) -1/24)) (* x x)) (/ 1/2 (- (fabs x) -1))) (+ (* (* 1/720 (* x x)) (- (/ (+ (/ 30 (- (fabs x) -1)) 45) (pow (- (fabs x) -1) 2)) (/ -45 (- (fabs x) -1)))) (* (/ (+ (/ 3 (- (fabs x) -1)) 3) (- (fabs x) -1)) -1/24)) (* 1/720 (* x x)) 1/720 (* x x) x (- (/ (+ (/ 30 (- (fabs x) -1)) 45) (pow (- (fabs x) -1) 2)) (/ -45 (- (fabs x) -1))) (/ (+ (/ 30 (- (fabs x) -1)) 45) (pow (- (fabs x) -1) 2)) (+ (/ 30 (- (fabs x) -1)) 45) (/ 30 (- (fabs x) -1)) 30 (- (fabs x) -1) (fabs x) -1 45 (pow (- (fabs x) -1) 2) 2 (/ -45 (- (fabs x) -1)) -45 (* (/ (+ (/ 3 (- (fabs x) -1)) 3) (- (fabs x) -1)) -1/24) (/ (+ (/ 3 (- (fabs x) -1)) 3) (- (fabs x) -1)) (+ (/ 3 (- (fabs x) -1)) 3) (/ 3 (- (fabs x) -1)) 3 -1/24 (/ 1/2 (- (fabs x) -1)) 1/2 (log (+ 1 (fabs x))) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (* (* (/ 1/2 (- (fabs x) -1)) x) x) (log (+ 1 (fabs x)))) (* (* (/ 1/2 (- (fabs x) -1)) x) x) (* (/ 1/2 (- (fabs x) -1)) x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (* (- (/ (fabs x) x) 1) x) (- (fabs x) x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (+ (* (/ (fabs x) x) x) x) (+ (fabs x) x) (copysign (asinh (* (sqrt (neg x)) (sqrt (neg x)))) x) (asinh (* (sqrt (neg x)) (sqrt (neg x)))) (* (sqrt (neg x)) (sqrt (neg x))) (sqrt (neg x)) (neg x))
203.0ms
u1
@-inf
((+ (* (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2))) 1/6) 1/2) (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2))) (cos (* u2 (+ (PI) (PI)))) (* u2 (+ (PI) (PI))) u2 (+ (PI) (PI)) (PI) (sqrt (* (log u1) -2)) (* (log u1) -2) (log u1) u1 -2 1/6 1/2 (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (sqrt (* -2 (log u1))) 1/6) 1/2) (sqrt (* -2 (log u1))) (* -2 (log u1)) (+ (* (* (cos (* u2 (* (PI) 2))) 1/6) (sqrt (* (log u1) -2))) 1/2) (* (* (cos (* u2 (* (PI) 2))) 1/6) (sqrt (* (log u1) -2))) (* (cos (* u2 (* (PI) 2))) 1/6) (cos (* u2 (* (PI) 2))) (* u2 (* (PI) 2)) (* (PI) 2) 2 (/ (- (pow (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) 2) 1/4) (- (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) 1/2)) (- (pow (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) 2) 1/4) (+ (* -1/18 (log u1)) -1/4) -1/18 -1/4 (- (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) 1/2) (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) (* (sqrt (* (log u1) -2)) 1/6) (+ (exp (* (log (* (* 1/6 (sqrt (* -2 (log u1)))) (cos (* (* 2 (PI)) u2)))) 1)) 1/2) (exp (* (log (* (* 1/6 (sqrt (* -2 (log u1)))) (cos (* (* 2 (PI)) u2)))) 1)) (* (log (* (* 1/6 (sqrt (* -2 (log u1)))) (cos (* (* 2 (PI)) u2)))) 1) (log (* (* 1/6 (sqrt (* -2 (log u1)))) (cos (* (* 2 (PI)) u2)))) (* (* 1/6 (sqrt (* -2 (log u1)))) (cos (* (* 2 (PI)) u2))) (* 1/6 (sqrt (* -2 (log u1)))) (cos (* (* 2 (PI)) u2)) (* (* 2 (PI)) u2) (* 2 (PI)) 1)
174.0ms
x
@inf
((copysign (asinh (fabs x)) x) (asinh (fabs x)) (fabs x) x (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (log x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (+ (* (/ (fabs x) x) x) x) (/ (fabs x) x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (* (- (/ (fabs x) x) 1) x) (- (/ (fabs x) x) 1) 1 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (* (* (/ 1/2 (- (fabs x) -1)) x) x) (log (+ 1 (fabs x)))) (* (/ 1/2 (- (fabs x) -1)) x) (/ 1/2 (- (fabs x) -1)) 1/2 (- (fabs x) -1) -1 (log (+ 1 (fabs x))))

preprocess13.2s (4.6%)

Memory
734.0MiB live, 14 765.8MiB allocated; 2.8s collecting garbage
Stop Event
114×iter limit
72×node limit
42×saturated
Compiler

Compiled 80 156 to 14 489 computations (81.9% saved)

regimes12.0s (4.2%)

Memory
376.0MiB live, 17 649.1MiB allocated; 2.8s collecting garbage
Counts
8 512 → 839
Calls

132 calls:

939.0ms
re
635.0ms
im
475.0ms
x
463.0ms
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.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))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 9999999999998099/10000000000000000 binary64) (/.f64 #s(literal 6765203681218851/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1 binary64)))) (/.f64 #s(literal -3147848041806007/2500000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 2 binary64)))) (/.f64 #s(literal 7713234287776531/10000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 3 binary64)))) (/.f64 #s(literal -883075145810703/5000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 4 binary64)))) (/.f64 #s(literal 2501468655737381/200000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal -3464277381643003/25000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 6 binary64)))) (/.f64 #s(literal 2496092394504893/250000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)))) (/.f64 #s(literal 3764081837873279/25000000000000000000000 binary64) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 8 binary64))))))
371.0ms
y.im
Compiler

Compiled 14 646 to 9 873 computations (32.6% saved)

prune8.1s (2.8%)

Memory
-269.7MiB live, 14 953.5MiB allocated; 2.1s collecting garbage
Counts
112 197 → 2 947
Compiler

Compiled 329 970 to 138 437 computations (58% saved)

analyze4.8s (1.7%)

Memory
-165.6MiB live, 4 222.2MiB allocated; 3.4s 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)

bsearch4.2s (1.5%)

Memory
72.4MiB live, 5 276.6MiB allocated; 1.1s collecting garbage
Algorithm
224×binary-search
185×left-value
Stop Event
215×narrow-enough
9×predicate-same
Samples
1.8s12 830×0valid
624.0ms1 889×1valid
112.0ms268×2valid
59.0ms197×3valid
Compiler

Compiled 147 389 to 81 205 computations (44.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 637.0ms (33.8% of total)
ival-hypot: 227.0ms (12.1% of total)
ival-add: 208.0ms (11% of total)
ival-log: 134.0ms (7.1% of total)
adjust: 128.0ms (6.8% of total)
const: 109.0ms (5.8% of total)
ival-exp: 95.0ms (5% of total)
ival-sub: 74.0ms (3.9% of total)
ival-sin: 65.0ms (3.5% of total)
ival-div: 58.0ms (3.1% of total)
ival-cos: 54.0ms (2.9% of total)
ival-atan2: 47.0ms (2.5% of total)
ival-sqrt: 18.0ms (1% of total)
ival-true: 11.0ms (0.6% of total)
ival-assert: 6.0ms (0.3% of total)
ival-fabs: 5.0ms (0.3% of total)
exact: 5.0ms (0.3% of total)
ival-neg: 4.0ms (0.2% of total)
ival-pi: 1.0ms (0.1% of total)
ival-copysign: 1.0ms (0.1% of total)

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...