Herbie run

Date:Monday, October 14th, 2024
Commit:c37771eb on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024288
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

Time bar (total: 7.9min)

sample1.8min (23%)

Memory
1 011.9MiB live, 97 841.7MiB allocated
Samples
1.2min438 411×0valid
7.0s22 590×1valid
3.9s8 691×2valid
3.5s4 457×0invalid
1.1s8 672×0exit
274.0ms932×3valid
Precisions
Click to see histograms. Total time spent on operations: 52.6s
ival-mult: 17.4s (33% of total)
ival-add: 5.7s (10.7% of total)
const: 4.3s (8.2% of total)
ival-div: 3.8s (7.3% of total)
ival-hypot: 3.0s (5.7% of total)
ival-exp: 2.9s (5.4% of total)
ival-sub: 2.4s (4.5% of total)
ival-log: 2.2s (4.1% of total)
ival-asin: 1.3s (2.5% of total)
ival-sin: 1.2s (2.2% of total)
adjust: 1.2s (2.2% of total)
ival-cos: 1.0s (1.9% of total)
ival-sqrt: 931.0ms (1.8% of total)
ival-fabs: 713.0ms (1.4% of total)
ival-atan2: 634.0ms (1.2% of total)
ival-pow: 576.0ms (1.1% of total)
ival->: 408.0ms (0.8% of total)
exact: 354.0ms (0.7% of total)
ival-pi: 333.0ms (0.6% of total)
ival-<=: 330.0ms (0.6% of total)
ival-sinu: 290.0ms (0.6% of total)
ival-asinh: 287.0ms (0.5% of total)
ival-true: 277.0ms (0.5% of total)
ival-cosu: 268.0ms (0.5% of total)
ival-acosh: 251.0ms (0.5% of total)
ival-assert: 196.0ms (0.4% of total)
ival-atanh: 188.0ms (0.4% of total)
ival-neg: 182.0ms (0.3% of total)
ival->=: 116.0ms (0.2% of total)
ival-and: 77.0ms (0.1% of total)
Bogosity

soundness1.5min (18.5%)

Memory
-144.0MiB live, 29 737.7MiB allocated
Stop Event
352×iter limit
221×node limit
36×fuel
21×done
3×unsound
2×saturated
Compiler

Compiled 71 145 to 23 178 computations (67.4% saved)

simplify1.1min (14.5%)

Memory
1 602.5MiB live, 60 945.2MiB allocated
Algorithm
451×egg-herbie
Stop Event
590×iter limit
275×node limit
177×saturated
Counts
16 365 → 16 201

rewrite49.8s (10.5%)

Memory
164.5MiB live, 47 374.0MiB allocated
Stop Event
412×iter limit
188×node limit
6×saturated
4×unsound
Counts
2 870 → 118 127

eval40.8s (8.6%)

Memory
-358.2MiB live, 42 594.6MiB allocated
Compiler

Compiled 9 502 049 to 584 124 computations (93.9% saved)

localize36.8s (7.8%)

Memory
3.4MiB live, 37 986.8MiB allocated
Samples
16.7s40 545×0valid
5.0s3 983×1valid
3.2s1 770×2valid
1.4s2 832×0invalid
542.0ms675×0exit
172.0ms379×1exit
164.0ms125×3valid
85.0ms123×5exit
Compiler

Compiled 170 679 to 13 810 computations (91.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.5s
ival-mult: 4.9s (29.7% of total)
ival-add: 2.5s (14.9% of total)
ival-div: 1.6s (10% of total)
const: 1.1s (6.7% of total)
adjust: 1.1s (6.5% of total)
ival-pow: 882.0ms (5.4% of total)
ival-sub: 724.0ms (4.4% of total)
ival-exp: 714.0ms (4.3% of total)
ival-log: 698.0ms (4.2% of total)
ival-hypot: 462.0ms (2.8% of total)
ival-sqrt: 291.0ms (1.8% of total)
ival-neg: 206.0ms (1.3% of total)
ival-pow2: 195.0ms (1.2% of total)
ival-asin: 191.0ms (1.2% of total)
ival-acos: 164.0ms (1% of total)
ival-cos: 140.0ms (0.8% of total)
ival-sin: 124.0ms (0.8% of total)
ival-log1p: 100.0ms (0.6% of total)
ival-fabs: 89.0ms (0.5% of total)
exact: 85.0ms (0.5% of total)
ival-atan2: 60.0ms (0.4% of total)
ival-true: 43.0ms (0.3% of total)
ival-pi: 41.0ms (0.2% of total)
ival-cosh: 26.0ms (0.2% of total)
ival-copysign: 26.0ms (0.2% of total)
ival-assert: 23.0ms (0.1% of total)
ival-sinu: 14.0ms (0.1% of total)
ival-cosu: 11.0ms (0.1% of total)
ival-cbrt: 9.0ms (0.1% of total)
ival-sinh: 2.0ms (0% of total)

series18.3s (3.9%)

Memory
-403.2MiB live, 15 334.7MiB allocated
Counts
2 870 → 16 365
Calls

1206 calls:

TimeVariablePointExpression
3.8s
re
@inf
((* (exp re) (cos im)) (exp re) (+ (* (+ (* (+ (* 1/6 re) 1/2) re) 1) re) 1) (+ (* (+ (* 1/6 re) 1/2) re) 1) (* (exp re) (cos im)) (cos im) (+ (* (* im im) -1/2) 1) (* (* im im) -1/2) (* (exp re) (cos im)) (cos im) (+ (* (* (+ (* 1/24 (* im im)) -1/2) im) im) 1) (* (+ (* 1/24 (* im im)) -1/2) im) (* (exp re) (cos im)) (exp re) (+ (* (+ (* (+ (* 1/6 re) 1/2) re) 1) re) 1) (* (* (+ (* 1/6 re) 1/2) re) re) (* (exp re) (cos im)) (exp re) (+ (* (+ (* (+ (* 1/6 re) 1/2) re) 1) re) 1) (* (+ (* (+ (* 1/6 re) 1/2) re) 1) re) (cos im) (+ (* 1/6 re) 1/2) (+ (* 1/24 (* im im)) -1/2) (cos im))
392.0ms
x.re
@0
((pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (pow (exp (atan2 x.im x.re)) (neg 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))) (sin (+ (* (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) (sin (* (atan2 x.im x.re) y.re))) (+ (* x.re x.re) (* x.im x.im)) (+ (* (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))) (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.re) (* (atan2 x.im x.re) y.im)) (/ (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re))) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (+ (* (* (pow (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) 2) y.im) (/ y.im (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (neg (/ (pow (* y.re (atan2 x.im x.re)) 2) (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))))) (neg (/ (pow (* y.re (atan2 x.im x.re)) 2) (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (* (pow (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) 2) y.im) (/ y.im (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (neg (/ (pow (* y.re (atan2 x.im x.re)) 2) (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))))))) (* y.re (atan2 x.im x.re)) (* (atan2 x.im x.re) y.re) (sin (* (atan2 x.im x.re) y.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (/ (* x.re x.re) x.im) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (pow (exp y.im) (atan2 x.im x.re)) (/ (pow (* y.re (atan2 x.im x.re)) 2) (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (sin (+ (* (* (pow (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) 2) y.im) (/ y.im (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (neg (/ (pow (* y.re (atan2 x.im x.re)) 2) (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))))) (pow (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) 2))
355.0ms
x.re
@0
((* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (- (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3) (pow (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (- (pow (* (cos (* y.re (atan2 x.im x.re))) (cos (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3) (pow (* (sin (* y.re (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) 3)) (* (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))) (* (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)))) (* (exp (neg (+ (* (log (/ -1 x.im)) y.re) (* (atan2 x.im x.re) y.im)))) (cos (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re)))) (neg (+ (* (log (/ -1 x.im)) y.re) (* (atan2 x.im x.re) y.im))) (+ (* (log (/ -1 x.im)) y.re) (* (atan2 x.im x.re) y.im)) (+ (* (/ 1/2 x.re) (/ (* (* x.im x.im) y.re) x.re)) (neg (+ (* (log (/ -1 x.re)) y.re) (* (atan2 x.im x.re) y.im)))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (+ (* x.re x.re) (* x.im x.im)) (* (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)))) (+ (* (* -1/2 y.im) (* (cos (* (atan2 x.im x.re) y.re)) (pow (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) 2))) (* (sin (* (atan2 x.im x.re) y.re)) (neg (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (+ (* (+ (* (* -1/2 y.im) (* (cos (* (atan2 x.im x.re) y.re)) (pow (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) 2))) (* (sin (* (atan2 x.im x.re) y.re)) (neg (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) y.im) (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)))) (cos (* y.re (atan2 x.im x.re))) (cos (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (sin (* y.re (atan2 x.im x.re))) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (cos (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (cos (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re))) (- (* (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))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (* (* x.im x.im) y.re) (sin (* (atan2 x.im x.re) y.re)) (* (sin (* (atan2 x.im x.re) y.re)) (neg (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))
321.0ms
u1
@inf
((+ (* (* (cos (* u2 (* (PI) 2))) 1/6) (sqrt (* (log u1) -2))) 1/2) (* (cos (* u2 (* (PI) 2))) 1/6) (cos (* u2 (* (PI) 2))) (* u2 (* (PI) 2)) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (* (sqrt (neg (log u1))) (sqrt 2)) 1/6) 1/2) (* (sqrt (neg (log u1))) (sqrt 2)) (sqrt (neg (log u1))) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (/ (+ (* 1/18 (log u1)) 1/4) (+ (* -1/6 (sqrt (* (log u1) -2))) 1/2)) (+ (* 1/18 (log u1)) 1/4) (log u1) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (pow (* 4 (pow (log u1) 2)) 1/4) 1/6) 1/2) (pow (* 4 (pow (log u1) 2)) 1/4) (* 4 (pow (log u1) 2)) (/ (- 1/4 (* 1/36 (* (log u1) -2))) (* (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (+ (* 1/18 (log u1)) 1/4))) (/ 1 (/ (- 1/4 (* 1/36 (* (log u1) -2))) (* (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (+ (* 1/18 (log u1)) 1/4)))) (* 1/36 (* (log u1) -2)) (- 1/4 (* 1/36 (* (log u1) -2))) (sqrt (* (log u1) -2)) (PI) (+ (* -1/6 (sqrt (* (log u1) -2))) 1/2) (pow (log u1) 2) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (* (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (+ (* 1/18 (log u1)) 1/4)))
305.0ms
y.im
@-inf
((pow (exp y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (* (pow (exp y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (* (pow (exp (atan2 x.im x.re)) (neg y.im)) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))))) (exp y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (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)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (pow x.im y.re) (* (neg x.im) (+ (* (/ 1/2 x.im) (/ (* x.re x.re) x.im)) 1)) (* y.re (+ (* (* -1/6 (* y.re y.re)) (pow (atan2 x.im x.re) 3)) (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))) (sin (+ (* (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) (sin (* (atan2 x.im x.re) y.re))) (exp (neg (* y.re (log (/ -1 x.re))))) (+ (exp (neg (* y.re (log (/ -1 x.re))))) (* 1/2 (/ (* (* (* x.im x.im) y.re) (exp (neg (* y.re (log (/ -1 x.re)))))) (* x.re x.re)))) (* (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)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) 2) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (* (pow (exp (atan2 x.im x.re)) (neg y.im)) (sin (+ (* y.im (pow (sqrt (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) 2)) (* y.re (atan2 x.im x.re)))))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (exp (atan2 x.im x.re)) (* y.re (atan2 x.im x.re)) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) (* (atan2 x.im x.re) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (/ (* x.re x.re) x.im) (+ (* (/ 1/2 x.im) (/ (* x.re x.re) x.im)) 1) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (/ (* (* (* x.im x.im) y.re) (exp (neg (* y.re (log (/ -1 x.re)))))) (* x.re x.re)) (* (* x.im x.im) y.re) (sin (+ (* y.im (pow (sqrt (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) 2)) (* y.re (atan2 x.im x.re)))))

explain16.6s (3.5%)

Memory
-366.3MiB live, 17 562.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue12100
-.f64#fcancellation7491
/.f64#fo/o6130
/.f64#fo/n2050
sqrt.f32#foflow-rescue1940
sin.f64#fsensitivity1810
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)))sensitivity1790
+.f64#fcancellation1551
sqrt.f64#fuflow-rescue1380
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1151
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1140
/.f64#fn/o1070
-.f64#fnan-rescue860
*.f64#fn*u780
/.f64#fu/u560
+.f64#fnan-rescue420
*.f64#fn*o380
/.f64#fu/n300
/.f64#fn/u130
exp.f64#fsensitivity40
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)))oflow-rescue20
↳(+.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))overflow2
↳(*.f64 x.re x.re)overflow61
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow70
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue20
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow2
↳(*.f32 x x)overflow131
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow131
sin.f64(sin.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)))oflow-rescue20
↳(+.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))overflow2
↳(*.f64 x.re x.re)overflow61
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow70
*.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))))overflow2
↳(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)))overflow2
↳(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
Confusion
Predicted +Predicted -
+356387
-16510777
Precision
0.9557403433476395
Recall
0.9761643835616438
Confusion?
Predicted +Predicted MaybePredicted -
+3563285
-165310774
Precision?
0.9549959817840878
Recall?
0.9767123287671233
Freqs
test
numberfreq
010864
13145
2579
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+3701
-3115
Precision?
0.9024390243902439
Recall?
0.9736842105263158
Samples
3.6s25 834×0valid
1.6s2 396×1valid
906.0ms898×2valid
22.0ms56×3valid
Compiler

Compiled 19 577 to 2 968 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.1s
ival-mult: 1.2s (28.3% of total)
ival-add: 491.0ms (11.9% of total)
adjust: 366.0ms (8.8% of total)
ival-div: 314.0ms (7.6% of total)
const: 285.0ms (6.9% of total)
ival-asin: 253.0ms (6.1% of total)
ival-exp: 243.0ms (5.9% of total)
ival-log: 204.0ms (4.9% of total)
ival-hypot: 192.0ms (4.6% of total)
ival-sub: 130.0ms (3.1% of total)
ival-sqrt: 93.0ms (2.2% of total)
ival-copysign: 73.0ms (1.8% of total)
ival-sin: 63.0ms (1.5% of total)
ival-cos: 58.0ms (1.4% of total)
ival-atan2: 42.0ms (1% of total)
ival-pow: 39.0ms (0.9% of total)
ival-true: 26.0ms (0.6% of total)
exact: 20.0ms (0.5% of total)
ival-fabs: 17.0ms (0.4% of total)
ival-pi: 13.0ms (0.3% of total)
ival-assert: 13.0ms (0.3% of total)
ival-neg: 12.0ms (0.3% of total)
ival-log1p: 7.0ms (0.2% of total)
ival-sinu: 7.0ms (0.2% of total)
ival-cosu: 6.0ms (0.1% of total)

preprocess15.0s (3.2%)

Memory
171.5MiB live, 11 965.6MiB allocated
Algorithm
57×egg-herbie
Stop Event
114×iter limit
76×saturated
38×node limit
Compiler

Compiled 101 338 to 16 665 computations (83.6% saved)

regimes13.3s (2.8%)

Memory
-31.5MiB live, 16 912.9MiB allocated
Counts
8 718 → 958
Calls

132 calls:

947.0ms
re
875.0ms
y.re
686.0ms
x
652.0ms
im
640.0ms
x.re
Compiler

Compiled 12 991 to 9 320 computations (28.3% saved)

prune10.8s (2.3%)

Memory
-931.3MiB live, 15 942.8MiB allocated
Counts
145 313 → 3 164
Compiler

Compiled 388 991 to 134 250 computations (65.5% saved)

bsearch5.1s (1.1%)

Memory
66.3MiB live, 4 907.8MiB allocated
Algorithm
259×left-value
248×binary-search
Stop Event
239×narrow-enough
9×predicate-same
Samples
2.1s16 256×0valid
778.0ms1 672×1valid
45.0ms177×2valid
18.0ms55×3valid
Compiler

Compiled 153 667 to 86 432 computations (43.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 832.0ms (39.1% of total)
ival-log: 264.0ms (12.4% of total)
ival-hypot: 258.0ms (12.1% of total)
ival-add: 139.0ms (6.5% of total)
ival-sin: 99.0ms (4.7% of total)
ival-cos: 97.0ms (4.6% of total)
ival-exp: 79.0ms (3.7% of total)
ival-div: 67.0ms (3.1% of total)
ival-sub: 67.0ms (3.1% of total)
ival-atan2: 64.0ms (3% of total)
adjust: 63.0ms (3% of total)
const: 57.0ms (2.7% of total)
ival-sqrt: 16.0ms (0.8% of total)
ival-true: 14.0ms (0.7% of total)
ival-assert: 8.0ms (0.4% of total)
exact: 5.0ms (0.2% of total)

analyze2.5s (0.5%)

Memory
361.0MiB live, 3 045.7MiB allocated
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)

start2.0ms (0%)

Memory
4.8MiB live, 4.7MiB allocated

end0.0ms (0%)

Memory
0.9MiB live, 0.8MiB allocated

Profiling

Loading profile data...