Herbie run

Date:Thursday, September 5th, 2024
Commit:9205cc88 on zane-concrete-values
Hostname:nightly with Racket 8.11.1
Seed:2024249
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 13.9min)

soundness5.0min (36.4%)

Memory
55.1MiB live, 36 268.4MiB allocated
Rules
2 007 564×lower-fma.f32
2 007 122×lower-fma.f64
1 011 442×lower-*.f32
1 010 234×lower-*.f64
587 336×lower-+.f32
Stop Event
345×iter limit
218×node limit
38×fuel
18×done
3×saturated
3×unsound
Compiler

Compiled 39 394 to 17 870 computations (54.6% saved)

sample4.0min (28.7%)

Memory
935.4MiB live, 126 155.3MiB allocated
Samples
1.8min438 271×0valid
1.4min3 679×5exit
7.2s22 303×1valid
4.0s8 540×2valid
760.0ms8 316×0exit
294.0ms873×3valid
37.0ms544×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-sin: 1.1min (37% of total)
ival-mult: 33.7s (19.7% of total)
ival-sub: 22.8s (13.4% of total)
const: 19.9s (11.6% of total)
ival-add: 5.2s (3.1% of total)
ival-div: 4.8s (2.8% of total)
adjust: 4.2s (2.5% of total)
ival-exp: 3.1s (1.8% of total)
ival-hypot: 2.6s (1.5% of total)
ival-log: 1.9s (1.1% of total)
ival-cos: 1.3s (0.8% of total)
ival-sqrt: 1.3s (0.8% of total)
ival-asin: 1.2s (0.7% of total)
ival-atan2: 1.1s (0.6% of total)
ival->: 578.0ms (0.3% of total)
ival-pi: 561.0ms (0.3% of total)
ival-<=: 500.0ms (0.3% of total)
ival-asinh: 423.0ms (0.2% of total)
ival-pow: 412.0ms (0.2% of total)
exact: 355.0ms (0.2% of total)
ival-acosh: 312.0ms (0.2% of total)
ival-true: 285.0ms (0.2% of total)
ival-fabs: 271.0ms (0.2% of total)
ival-neg: 208.0ms (0.1% of total)
ival-assert: 190.0ms (0.1% of total)
ival-atanh: 148.0ms (0.1% of total)
ival->=: 118.0ms (0.1% of total)
ival-and: 74.0ms (0% of total)
Bogosity

simplify1.2min (8.8%)

Memory
162.3MiB live, 68 405.1MiB allocated
Algorithm
450×egg-herbie
Rules
3 510 424×lower-fma.f32
3 509 620×lower-fma.f64
1 306 140×lower-*.f32
1 304 012×lower-*.f64
830 272×lower-+.f32
Stop Event
592×iter limit
274×node limit
176×saturated
Counts
58 284 → 57 600

rewrite45.7s (5.5%)

Memory
20.0MiB live, 49 354.1MiB allocated
Rules
941 772×lower-fma.f32
940 964×lower-fma.f64
786 024×lower-*.f32
784 024×lower-*.f64
602 746×lower-/.f32
Stop Event
417×iter limit
188×node limit
5×saturated
4×unsound
Counts
2 869 → 102 708

eval44.8s (5.4%)

Memory
1 093.5MiB live, 56 755.6MiB allocated
Compiler

Compiled 7 893 680 to 519 541 computations (93.4% saved)

preprocess29.0s (3.5%)

Memory
-164.3MiB live, 14 997.8MiB allocated
Algorithm
56×egg-herbie
Rules
290 162×lower-fma.f64
290 162×lower-fma.f32
74 512×lower-*.f32
74 158×lower-*.f64
52 750×lower-+.f32
Stop Event
112×iter limit
76×saturated
36×node limit
Compiler

Compiled 49 913 to 14 507 computations (70.9% saved)

localize28.8s (3.5%)

Memory
-415.9MiB live, 34 687.7MiB allocated
Samples
13.9s41 492×0valid
3.4s3 558×1valid
1.7s1 375×2valid
1.3s3 038×0invalid
526.0ms705×1exit
136.0ms132×3valid
100.0ms119×5exit
14.0ms5×2exit
5.0ms6×4valid
1.0ms2×0exit
Compiler

Compiled 64 808 to 6 179 computations (90.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.1s
ival-mult: 4.8s (31.9% of total)
ival-add: 2.0s (13% of total)
ival-div: 1.8s (12% of total)
ival-log: 778.0ms (5.2% of total)
ival-pow: 748.0ms (5% of total)
const: 699.0ms (4.6% of total)
adjust: 686.0ms (4.5% of total)
ival-sub: 586.0ms (3.9% of total)
ival-hypot: 487.0ms (3.2% of total)
ival-sqrt: 464.0ms (3.1% of total)
ival-exp: 404.0ms (2.7% of total)
ival-neg: 269.0ms (1.8% of total)
ival-asin: 183.0ms (1.2% of total)
ival-sin: 168.0ms (1.1% of total)
ival-cos: 153.0ms (1% of total)
ival-acos: 146.0ms (1% of total)
ival-log1p: 118.0ms (0.8% of total)
ival-cosh: 115.0ms (0.8% of total)
ival-pow2: 111.0ms (0.7% of total)
exact: 87.0ms (0.6% of total)
ival-atan2: 73.0ms (0.5% of total)
ival-copysign: 62.0ms (0.4% of total)
ival-fabs: 53.0ms (0.4% of total)
ival-true: 42.0ms (0.3% of total)
ival-assert: 40.0ms (0.3% of total)
ival-pi: 29.0ms (0.2% of total)
ival-cbrt: 4.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

prune17.7s (2.1%)

Memory
-829.7MiB live, 22 364.9MiB allocated
Counts
199 358 → 3 079
Compiler

Compiled 158 307 to 74 816 computations (52.7% saved)

regimes15.9s (1.9%)

Memory
-96.4MiB live, 20 985.1MiB allocated
Counts
9 067 → 965
Calls

130 calls:

834.0ms
re
811.0ms
im
793.0ms
x
729.0ms
y.re
633.0ms
y.im
Compiler

Compiled 14 637 to 10 571 computations (27.8% saved)

series15.3s (1.8%)

Memory
554.3MiB live, 20 192.9MiB allocated
Counts
2 869 → 58 284
Calls

1203 calls:

TimeVariablePointExpression
202.0ms
base
@-inf
((/ 1 (/ 1 (/ (log (sqrt (+ (* im im) (* re re)))) (log base)))) (/ 1 (/ (log (sqrt (+ (* im im) (* re re)))) (log base))) (/ (log (sqrt (+ (* im im) (* re re)))) (log base)) (log (sqrt (+ (* im im) (* re re)))) (* (neg (log im)) (/ -1 (log base))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (neg (log im)) (log im) (pow (sqrt (log base)) 2) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (pow (sqrt (log base)) 2)) (exp (* (log (/ (log base) (log im))) -1)) (* (log (/ (log base) (log im))) -1) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (log (/ (log base) (log im))) (* (pow (log base) 3) (pow (log base) -2)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (* (pow (log base) 3) (pow (log base) -2))) (log base) (/ -1 (log base)) (sqrt (log base)) (/ (log base) (log im)) (pow (log base) 3) (pow (log base) -2))
192.0ms
x.im
@inf
((+ (* 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 (+ (* (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))) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.im))
126.0ms
x.im
@0
((* y.re (+ (* y.im (/ (atan2 x.im x.re) y.re)) (neg (log (sqrt (+ (* x.re x.re) (* x.im x.im))))))) (* (+ (* y.re (/ (atan2 x.im x.re) y.im)) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) y.im) (neg (* y.re (+ (* y.im (/ (atan2 x.im x.re) y.re)) (neg (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))) (cos (+ (* (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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (cos (* (atan2 x.im x.re) y.re))) (* x.im (+ (* 1/2 (/ (* x.re x.re) (* x.im x.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.re x.re) (* x.im x.im))) y.re) (cos (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (pow (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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (exp y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cos (* (atan2 x.im x.re) y.re))) (exp y.re) (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (cos (* (atan2 x.im x.re) y.re)))) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (* (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.re x.re) (* x.im x.im))) y.re) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (/ (atan2 x.im x.re) y.im) (/ (atan2 x.im x.re) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (/ (* x.re x.re) (* x.im x.im)) (* (atan2 x.im x.re) y.re) (cos (* (atan2 x.im x.re) y.re)))
126.0ms
im
@inf
((* (/ -1 (log base)) (neg (atan2 im re))) (/ -1 (log base)) (log base) (neg (atan2 im re)) (/ 1 (* (/ 1 (atan2 im re)) (log base))) (* (/ 1 (atan2 im re)) (log base)) (/ 1 (atan2 im re)) (atan2 im re) (pow (sqrt (/ (log base) (atan2 im re))) -2) (sqrt (/ (log base) (atan2 im re))) (/ (log base) (atan2 im re)) (exp (log (/ (atan2 im re) (log base)))) (log (/ (atan2 im re) (log base))) (/ (atan2 im re) (log base)) (* (pow (log base) -3/2) (* (sqrt (log base)) (atan2 im re))) (pow (log base) -3/2) (* (sqrt (log base)) (atan2 im re)) (sqrt (log base)))
114.0ms
x
@0
((/ (- (* 1 (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1))) (- (* 1 (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (* 1 (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1) (* (fabs x) (fabs x)) (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* (fabs x) (fabs x))))) (- 1 (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* (fabs x) (fabs x)))))) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* 10731592879921/100000000000000 (* x x))) (- 1 (* (fabs x) 3275911/10000000)) (+ (* (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (neg (+ (* (fabs x) 3275911/10000000) 1))) (* (+ (* (fabs x) 3275911/10000000) 1) 1453152027/1000000000)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (/ (+ (* (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (neg (+ (* (fabs x) 3275911/10000000) 1))) (* (+ (* (fabs x) 3275911/10000000) 1) 1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1)))))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (/ (+ (* (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (neg (+ (* (fabs x) 3275911/10000000) 1))) (* (+ (* (fabs x) 3275911/10000000) 1) 1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1)))))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (/ (+ (* (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (neg (+ (* (fabs x) 3275911/10000000) 1))) (* (+ (* (fabs x) 3275911/10000000) 1) 1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1)))))))) (/ (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (+ (* (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (neg (+ (* (fabs x) 3275911/10000000) 1))) (* (+ (* (fabs x) 3275911/10000000) 1) 1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1)))) (+ 1421413741/1000000000 (/ (+ (* (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (neg (+ (* (fabs x) 3275911/10000000) 1))) (* (+ (* (fabs x) 3275911/10000000) 1) 1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (neg (+ (* (fabs x) 3275911/10000000) 1))))))

explain13.0s (1.6%)

Memory
-663.8MiB live, 16 480.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11440
-.f64#fcancellation7310
/.f64#fo/o6340
/.f64#fo/n2080
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)))sensitivity1880
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)))sensitivity1880
sqrt.f32#foflow-rescue1690
+.f64#fcancellation1540
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1302
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1240
sqrt.f64#fuflow-rescue1230
/.f64#fn/o990
-.f64#fnan-rescue820
*.f64#fn*u720
/.f64#fu/u650
+.f64#fnan-rescue420
/.f64#fu/n380
*.f64#fn*o330
/.f64#fn/u100
exp.f64#fsensitivity33
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)overflow56
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow109
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow66
log.f32#foflow-rescue20
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)overflow56
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow109
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow66
log.f64#foflow-rescue20
Confusion
Predicted +Predicted -
+3493290
-18810365
Precision
0.9489269220320565
Recall
0.9233412635474492
Confusion?
Predicted +Predicted MaybePredicted -
+34930290
-188310362
Precision?
0.9481541802388708
Recall?
0.9233412635474492
Freqs
test
numberfreq
010655
13119
2560
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+3501
-2018
Precision?
0.9459459459459459
Recall?
0.9722222222222222
Samples
3.5s25 796×0valid
743.0ms2 162×1valid
296.0ms658×2valid
21.0ms56×3valid
Compiler

Compiled 11 645 to 2 099 computations (82% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 1.3s (39.1% of total)
ival-add: 279.0ms (8.6% of total)
ival-div: 246.0ms (7.6% of total)
ival-hypot: 227.0ms (7% of total)
ival-log: 225.0ms (7% of total)
ival-sin: 137.0ms (4.2% of total)
ival-exp: 128.0ms (4% of total)
ival-sub: 122.0ms (3.8% of total)
const: 102.0ms (3.2% of total)
ival-cos: 92.0ms (2.8% of total)
adjust: 87.0ms (2.7% of total)
ival-asin: 80.0ms (2.5% of total)
ival-sqrt: 71.0ms (2.2% of total)
ival-atan2: 65.0ms (2% of total)
ival-true: 26.0ms (0.8% of total)
exact: 17.0ms (0.5% of total)
ival-fabs: 16.0ms (0.5% of total)
ival-copysign: 12.0ms (0.4% of total)
ival-assert: 12.0ms (0.4% of total)
ival-pi: 11.0ms (0.3% of total)
ival-log1p: 7.0ms (0.2% of total)
ival-neg: 6.0ms (0.2% of total)

bsearch4.7s (0.6%)

Memory
-61.3MiB live, 4 688.7MiB allocated
Algorithm
258×left-value
222×binary-search
Stop Event
199×narrow-enough
23×predicate-same
Samples
2.0s14 428×0valid
657.0ms1 661×1valid
94.0ms126×2valid
11.0ms41×3valid
Compiler

Compiled 44 861 to 40 300 computations (10.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 729.0ms (35.5% of total)
ival-hypot: 233.0ms (11.3% of total)
ival-log: 164.0ms (8% of total)
ival-add: 146.0ms (7.1% of total)
ival-atan2: 139.0ms (6.8% of total)
const: 138.0ms (6.7% of total)
ival-sin: 110.0ms (5.4% of total)
ival-sub: 104.0ms (5.1% of total)
ival-div: 70.0ms (3.4% of total)
adjust: 69.0ms (3.4% of total)
ival-exp: 69.0ms (3.4% of total)
ival-cos: 49.0ms (2.4% of total)
ival-true: 13.0ms (0.6% of total)
ival-sqrt: 11.0ms (0.5% of total)
ival-assert: 6.0ms (0.3% of total)
exact: 4.0ms (0.2% of total)

analyze2.5s (0.3%)

Memory
69.1MiB live, 3 448.2MiB 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 821 computations (45.2% saved)

start2.0ms (0%)

Memory
-31.3MiB live, 4.6MiB allocated

end0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated

Profiling

Loading profile data...