Herbie run

Date:Wednesday, October 2nd, 2024
Commit:913204d2 on artem-batch-finish-rewrite
Hostname:nightly with Racket 8.10
Seed:2024276
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: 1.5hr)

sample18.4min (20.1%)

Memory
1 388.2MiB live, 1 176 511.5MiB allocated
Samples
7.8min3 925 956×0valid
2.4min414 985×1valid
1.1min127 666×2valid
54.0s320 785×0invalid
53.1s26 948×5exit
13.8s14 380×3valid
8.6s26 144×1invalid
8.1s50 688×0exit
2.9s19 872×1exit
795.0ms1 338×2invalid
572.0ms507×4exit
261.0ms34×4valid
69.0ms105×3exit
5.0ms4×2exit
Precisions
Click to see histograms. Total time spent on operations: 10.2min
ival-mult: 2.1min (20.2% of total)
ival-div: 56.2s (9.2% of total)
ival-pow: 47.7s (7.8% of total)
ival-add: 47.5s (7.7% of total)
ival-sub: 47.2s (7.7% of total)
adjust: 35.3s (5.8% of total)
const: 32.8s (5.3% of total)
ival-cos: 25.4s (4.1% of total)
ival-log: 24.2s (3.9% of total)
ival-sin: 22.9s (3.7% of total)
ival-exp: 22.8s (3.7% of total)
ival-tan: 20.2s (3.3% of total)
ival-sqrt: 17.5s (2.8% of total)
ival-<=: 13.6s (2.2% of total)
ival-pow2: 11.1s (1.8% of total)
ival-sinu: 6.7s (1.1% of total)
ival-neg: 5.9s (1% of total)
ival-cosu: 5.8s (0.9% of total)
ival-fabs: 5.2s (0.8% of total)
ival-hypot: 4.4s (0.7% of total)
exact: 3.6s (0.6% of total)
ival-<: 3.3s (0.5% of total)
ival-true: 3.0s (0.5% of total)
ival-and: 2.8s (0.5% of total)
ival-expm1: 2.4s (0.4% of total)
ival-acos: 2.4s (0.4% of total)
ival-asin: 2.2s (0.4% of total)
ival-atan2: 2.0s (0.3% of total)
ival-assert: 2.0s (0.3% of total)
ival-log1p: 1.9s (0.3% of total)
ival-pi: 1.7s (0.3% of total)
ival-floor: 1.2s (0.2% of total)
ival->: 1.2s (0.2% of total)
ival-sinh: 1.1s (0.2% of total)
ival-atan: 966.0ms (0.2% of total)
ival-fmod: 728.0ms (0.1% of total)
ival-e: 597.0ms (0.1% of total)
ival-cbrt: 592.0ms (0.1% of total)
ival-fmin: 520.0ms (0.1% of total)
ival-==: 518.0ms (0.1% of total)
ival-if: 365.0ms (0.1% of total)
ival-acosh: 347.0ms (0.1% of total)
ival->=: 345.0ms (0.1% of total)
ival-fmax: 337.0ms (0.1% of total)
ival-log2: 266.0ms (0% of total)
ival-asinh: 248.0ms (0% of total)
ival-cosh: 228.0ms (0% of total)
ival-tanu: 174.0ms (0% of total)
ival-atanh: 173.0ms (0% of total)
ival-tanh: 142.0ms (0% of total)
ival-or: 41.0ms (0% of total)
Bogosity

soundness12.6min (13.8%)

Memory
1 047.1MiB live, 351 525.9MiB allocated
Stop Event
3 351×iter limit
2 222×node limit
360×fuel
181×done
38×saturated
13×unsound
Compiler

Compiled 607 491 to 216 969 computations (64.3% saved)

simplify12.5min (13.6%)

Memory
5 163.1MiB live, 661 303.0MiB allocated
Algorithm
4 415×egg-herbie
Stop Event
5 790×iter limit
2 760×node limit
1 677×saturated
3×unsound
Counts
741 028 → 728 826

eval11.5min (12.6%)

Memory
9 554.0MiB live, 677 529.2MiB allocated
Compiler

Compiled 145 078 366 to 5 418 289 computations (96.3% saved)

rewrite7.7min (8.4%)

Memory
1 003.7MiB live, 469 120.0MiB allocated
Stop Event
3 981×iter limit
1 887×node limit
34×unsound
30×saturated
Counts
27 617 → 1 125 137

regimes6.3min (6.9%)

Memory
-1 855.2MiB live, 324 068.9MiB allocated
Counts
122 937 → 9 356
Calls

1 228 calls:

44.9s
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
44.0s
x
16.4s
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))
15.4s
(fabs.f64 x)
13.3s
y
Compiler

Compiled 124 344 to 123 510 computations (0.7% saved)

localize6.0min (6.6%)

Memory
-2 752.5MiB live, 381 061.4MiB allocated
Samples
2.6min398 350×0valid
1.0min56 467×1valid
32.9s20 946×2valid
8.0s13 326×0invalid
7.0s897×5exit
5.2s2 278×3valid
1.4s1 166×1exit
844.0ms628×2exit
571.0ms1 394×0exit
411.0ms262×1invalid
206.0ms45×3exit
189.0ms26×4exit
56.0ms64×2invalid
43.0ms23×4valid
Compiler

Compiled 1 288 360 to 127 371 computations (90.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4min
ival-mult: 1.0min (30.9% of total)
ival-div: 24.6s (12.2% of total)
ival-add: 18.6s (9.2% of total)
adjust: 11.7s (5.8% of total)
ival-sub: 11.4s (5.7% of total)
ival-sin: 10.6s (5.3% of total)
ival-cos: 9.8s (4.9% of total)
const: 8.3s (4.1% of total)
ival-pow: 7.6s (3.8% of total)
ival-hypot: 6.2s (3.1% of total)
ival-log: 4.6s (2.3% of total)
ival-sqrt: 4.3s (2.1% of total)
ival-pow2: 4.2s (2.1% of total)
ival-exp: 2.9s (1.4% of total)
ival-neg: 2.7s (1.3% of total)
ival-tan: 2.3s (1.2% of total)
ival-sinu: 1.3s (0.6% of total)
ival-cosu: 999.0ms (0.5% of total)
ival-atan2: 735.0ms (0.4% of total)
exact: 723.0ms (0.4% of total)
ival-asin: 682.0ms (0.3% of total)
ival-log1p: 597.0ms (0.3% of total)
ival-acos: 537.0ms (0.3% of total)
ival-atan: 484.0ms (0.2% of total)
ival-true: 440.0ms (0.2% of total)
ival-sinh: 422.0ms (0.2% of total)
ival-expm1: 404.0ms (0.2% of total)
ival-fabs: 341.0ms (0.2% of total)
ival-pi: 266.0ms (0.1% of total)
ival-if: 247.0ms (0.1% of total)
ival-cbrt: 232.0ms (0.1% of total)
ival-assert: 220.0ms (0.1% of total)
ival-fmax: 119.0ms (0.1% of total)
ival-cosh: 104.0ms (0.1% of total)
ival-tanu: 103.0ms (0.1% of total)
ival-floor: 98.0ms (0% of total)
ival-log2: 98.0ms (0% of total)
ival-fmod: 95.0ms (0% of total)
ival-e: 55.0ms (0% of total)
ival-copysign: 53.0ms (0% of total)
ival-tanh: 35.0ms (0% of total)
ival->=: 19.0ms (0% of total)
ival->: 11.0ms (0% of total)
ival-<: 5.0ms (0% of total)

prune4.0min (4.4%)

Memory
-7 013.9MiB live, 331 520.3MiB allocated
Counts
2 258 677 → 42 148
Compiler

Compiled 4 278 016 to 1 795 730 computations (58% saved)

series3.3min (3.6%)

Memory
-899.8MiB live, 238 635.5MiB allocated
Counts
27 617 → 741 028
Calls

16041 calls:

TimeVariablePointExpression
3.7s
x
@0
((+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1) (/ (- (pow (+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1) -2) (pow (neg (/ (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1))) 2)) (+ (pow (+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1) -1) (/ (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1)))) (- (pow (+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1) -2) (pow (neg (/ (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1))) 2)) (pow (+ (* (/ (+ (* (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (pow (exp x) x))) 1) -2) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (neg (/ (+ (* -3275911/10000000 (fabs x)) 1) (pow (exp x) x)))) 1) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) (/ (+ (* -3275911/10000000 (fabs x)) 1) (/ (+ (* -10731592879921/100000000000000 (* x x)) 1) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000))) (* (fabs x) (fabs x)) (- 1 (* (/ (+ (* -3275911/10000000 (fabs x)) 1) (/ (+ (* -10731592879921/100000000000000 (* x x)) 1) (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000))) (exp (neg (* (fabs x) (fabs x)))))) (+ (* -3275911/10000000 (fabs x)) 1) (+ (* (* (* (+ (* (fabs x) 3275911/10000000) -1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (pow (exp x) (* (neg x) 1/2))) (pow (exp x) (* (neg x) 1/2))) 1) (* (neg x) 1/2) (* (* (+ (* (fabs x) 3275911/10000000) -1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (pow (exp x) (* (neg x) 1/2))) (* (+ (* (fabs x) 3275911/10000000) -1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* -10731592879921/100000000000000 (* x 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) (* (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 (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6)) (+ (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 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)) (/ (- 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6)) (+ (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) 1)) (- 1 (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6)) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (neg (/ (+ (* -3275911/10000000 (fabs x)) 1) (pow (exp x) x))) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 6))
1.4s
y
@inf
((/ (log (/ y x)) (/ -1 x)) (log (/ y x)) (/ y x) (/ -1 x) (/ (* (neg (* x x)) (log (/ y x))) x) (* (neg (* x x)) (log (/ y x))) (neg (* x x)) (* x x) (/ 1 (/ (/ -1 (log (/ x y))) (neg x))) (/ (/ -1 (log (/ x y))) (neg x)) (/ -1 (log (/ x y))) (log (/ x y)) (- (* (log x) x) (* (log y) x)) (* (log x) x) (log x) (* (log y) x) (/ (* (neg (pow x 3)) 1) (* (+ (* x x) 0) (/ -1 (log (/ x y))))) (* (neg (pow x 3)) 1) (* (+ (* x x) 0) (/ -1 (log (/ x y)))) (+ (* x x) 0))
348.0ms
x
@inf
((* c (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))))) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1)))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (* (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) c) (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) (* y x) (* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* (+ (* (+ (* -1/2 y) 1/2) (* y x)) y) x) (+ (* (+ (* -1/2 y) 1/2) (* y x)) y) (- (* (* (- y (* y y)) 1/2) x) y) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (/ (* (+ (* (pow (* (- y (* y y)) x) 2) 1/4) (* (neg y) y)) x) (- (* (* (- y (* y y)) 1/2) x) y)) (+ (* (/ -2 y) (/ (+ (* 1/4 (* x x)) -1) y)) (- (+ (* (* x x) -1/2) (/ (* x x) y)) (+ (* (/ (* (* x (- x (+ (* 1/2 x) -1))) (+ (* 1/2 x) -1)) (* (* y y) x)) -2) (/ (* (+ (* 1/2 x) -1) x) y)))) (+ (* (/ (* (* x (- x (+ (* 1/2 x) -1))) (+ (* 1/2 x) -1)) (* (* y y) x)) -2) (/ (* (+ (* 1/2 x) -1) x) y)) (+ (* (* x x) -1/2) (/ (* x x) y)) (/ (* (* x (- x (+ (* 1/2 x) -1))) (+ (* 1/2 x) -1)) (* (* y y) x)) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))) (+ (* (pow (* (- y (* y y)) x) 2) 1/4) (* (neg y) y)) (log (+ 1 (* (- (pow (E) x) 1) y))) (* (+ (* (/ -2 y) (/ (+ (* 1/4 (* x x)) -1) y)) (- (+ (* (* x x) -1/2) (/ (* x x) y)) (+ (* (/ (* (* x (- x (+ (* 1/2 x) -1))) (+ (* 1/2 x) -1)) (* (* y y) x)) -2) (/ (* (+ (* 1/2 x) -1) x) y)))) (* y y)))
320.0ms
c_n
@inf
((- 1 (/ 1 (+ (exp (neg s)) 1))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (+ (exp (neg s)) 1) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ (* (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) (* (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n) (pow (+ (exp (neg s)) 1) (neg c_p))) (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (* (* (exp (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n)) (pow (+ (exp (neg s)) 1) (neg c_p))) (* (exp (neg (+ (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n) (* (neg (log (+ 1 (exp (neg t))))) c_p)))) (pow (- 0 (- (exp (neg (log (+ 1 (exp (neg s)))))) 1)) c_n)) (/ 1 (+ (exp (neg s)) 1)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (+ 1 (exp (neg s))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (+ (exp (neg s)) 1) (neg c_p)) (log (+ 1 (exp (neg s)))) (log (+ 1 (exp (neg t)))))
314.0ms
im
@inf
((+ (* re re) (* im im)) (* 1/2 (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re)))) (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re))) (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (sqrt (+ (* re re) (* im im))) (- (sqrt (+ (* re re) (* im im))) re))

preprocess2.5min (2.7%)

Memory
1 106.7MiB live, 146 245.7MiB allocated
Algorithm
543×egg-herbie
Stop Event
1 082×iter limit
745×saturated
345×node limit
Compiler

Compiled 914 382 to 183 861 computations (79.9% saved)

explain2.3min (2.6%)

Memory
-1 857.6MiB live, 151 746.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation913056
sqrt.f64#foflow-rescue53280
log.f64#fsensitivity37004
cos.f64#fsensitivity34792
+.f64#fcancellation3062120
sin.f64#fsensitivity21280
/.f64#fo/n19250
/.f64#fo/o19040
-.f64#fnan-rescue15910
log.f32#fsensitivity114774
*.f64#fn*o10930
/.f64#fn/o9950
/.f64#fu/u9670
sqrt.f64#fuflow-rescue8940
+.f64#fnan-rescue8160
/.f64#fu/n7410
acos.f64#fsensitivity5297
sqrt.f32#foflow-rescue5200
*.f64#fn*u4970
tan.f64#fsensitivity4190
pow.f64#fsensitivity41145
-.f32#fcancellation38723
/.f64#fn/u2960
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2200
exp.f64#fsensitivity20724
cos.f64#foflow-rescue1890
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18311
cos.f32#fsensitivity17020
*.f64#fu*o1670
*.f64#fo*u1550
pow.f64#foflow-rescue1520
/.f32#fo/n1340
asin.f64#fsensitivity1322
log.f64#foflow-rescue1100
cbrt.f64#foflow-rescue950
pow.f64#fuflow-rescue690
log.f64#fuflow-rescue690
cbrt.f64#fuflow-rescue410
exp.f32#fsensitivity3020
sin.f64#foflow-rescue280
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue260
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
/.f32#fo/o200
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-rescue180
↳(*.f32 sinTheta_O sinTheta_O)underflow270
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow18
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow135
↳(*.f32 eta eta)underflow18
/.f32#fu/n150
/.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))overflow13
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow13
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)overflow127
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow127
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
+.f32(+.f32 (*.f32 (*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi))cancellation10
Confusion
Predicted +Predicted -
+31293980
-6065100670
Precision
0.8376519085604155
Recall
0.9696340594304836
Confusion?
Predicted +Predicted MaybePredicted -
+31293249731
-6065393100277
Precision?
0.8300526315789474
Recall?
0.9773494871874322
Freqs
test
numberfreq
0101650
131324
24893
3596
4300
5143
670
720
89
91
102
Total Confusion?
Predicted +Predicted MaybePredicted -
+33953
-111184
Precision?
0.9662921348314607
Recall?
0.9913544668587896
Samples
26.5s235 550×0valid
11.1s30 912×1valid
7.7s10 282×2valid
1.1s1 152×3valid
14.0ms102×1exit
9.0ms4×4valid
8.0ms14×5exit
Compiler

Compiled 135 163 to 25 550 computations (81.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.3s
ival-mult: 6.2s (20.4% of total)
ival-div: 3.1s (10.1% of total)
ival-sub: 2.9s (9.6% of total)
ival-add: 2.7s (8.7% of total)
ival-sin: 2.0s (6.6% of total)
adjust: 1.8s (6% of total)
ival-log: 1.7s (5.6% of total)
ival-cos: 1.6s (5.1% of total)
ival-tan: 1.1s (3.6% of total)
ival-exp: 1.0s (3.4% of total)
ival-sqrt: 932.0ms (3.1% of total)
const: 807.0ms (2.7% of total)
ival-pow: 709.0ms (2.3% of total)
ival-pow2: 616.0ms (2% of total)
ival-cosu: 553.0ms (1.8% of total)
ival-sinu: 410.0ms (1.4% of total)
ival-hypot: 261.0ms (0.9% of total)
ival-true: 256.0ms (0.8% of total)
ival-neg: 226.0ms (0.7% of total)
ival-asin: 186.0ms (0.6% of total)
ival-acos: 182.0ms (0.6% of total)
exact: 171.0ms (0.6% of total)
ival-floor: 137.0ms (0.5% of total)
ival-atan2: 130.0ms (0.4% of total)
ival-assert: 122.0ms (0.4% of total)
ival-log1p: 112.0ms (0.4% of total)
ival-fabs: 82.0ms (0.3% of total)
ival-atan: 75.0ms (0.2% of total)
ival-pi: 70.0ms (0.2% of total)
ival-sinh: 60.0ms (0.2% of total)
ival-cbrt: 34.0ms (0.1% of total)
ival-fmod: 30.0ms (0.1% of total)
ival-expm1: 27.0ms (0.1% of total)
ival-if: 22.0ms (0.1% of total)
ival-e: 18.0ms (0.1% of total)
ival-fmax: 18.0ms (0.1% of total)
ival-copysign: 14.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival-tanu: 11.0ms (0% of total)
ival-cosh: 11.0ms (0% of total)
ival->=: 7.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

end1.8min (1.9%)

Memory
-67.1MiB live, 54 520.7MiB allocated

analyze1.3min (1.5%)

Memory
387.4MiB live, 104 817.9MiB allocated
Algorithm
546×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.5%15.5%0%0%0%0
39.7%33.6%50.9%15.5%0%0%0%1
45.8%38.3%45.4%15.5%0%0.8%0%2
54.4%44.4%37.3%15.5%0%2.8%0%3
61.2%49.4%31.3%15.5%0%3.8%0%4
67.5%54.2%26%15.5%0%4.3%0%5
71.4%57%22.8%15.5%0%4.7%0%6
75.4%59.8%19.5%15.5%0%5.3%0%7
77.4%61%17.8%15.5%0%5.6%0%8
80.1%62.9%15.7%15.5%0%5.9%0%9
81.6%63.9%14.4%15.5%0%6.2%0%10
83.9%65.5%12.6%15.5%0%6.4%0%11
85%66.1%11.7%15.5%0%6.6%0%12
Compiler

Compiled 12 532 to 7 808 computations (37.7% saved)

bsearch1.0min (1.1%)

Memory
-405.5MiB live, 76 836.7MiB allocated
Algorithm
2 684×binary-search
2 151×left-value
Stop Event
2 607×narrow-enough
71×predicate-same
6×predicate-failed
Samples
27.6s190 088×0valid
8.1s15 071×1valid
989.0ms8 567×0invalid
871.0ms1 440×2valid
823.0ms3 077×0exit
140.0ms212×3valid
44.0ms150×1invalid
1.0ms8×1exit
1.0ms4×2invalid
Compiler

Compiled 1 540 597 to 1 029 434 computations (33.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.3s
ival-mult: 8.6s (30.3% of total)
ival-sub: 3.5s (12.2% of total)
ival-sin: 2.5s (8.7% of total)
ival-add: 2.3s (8.1% of total)
ival-cos: 2.3s (8.1% of total)
ival-div: 2.2s (7.8% of total)
adjust: 925.0ms (3.3% of total)
ival-log: 916.0ms (3.2% of total)
const: 787.0ms (2.8% of total)
ival-pow2: 680.0ms (2.4% of total)
ival-exp: 648.0ms (2.3% of total)
ival-pow: 596.0ms (2.1% of total)
ival-sqrt: 369.0ms (1.3% of total)
ival-atan2: 314.0ms (1.1% of total)
ival-hypot: 274.0ms (1% of total)
ival-sinu: 232.0ms (0.8% of total)
ival-tan: 211.0ms (0.7% of total)
ival-neg: 192.0ms (0.7% of total)
ival-true: 173.0ms (0.6% of total)
ival-cosu: 172.0ms (0.6% of total)
exact: 99.0ms (0.3% of total)
ival-assert: 91.0ms (0.3% of total)
ival-acos: 87.0ms (0.3% of total)
ival-fabs: 53.0ms (0.2% of total)
ival-pi: 51.0ms (0.2% of total)
ival-atan: 32.0ms (0.1% of total)
ival-e: 29.0ms (0.1% of total)
ival-cosh: 27.0ms (0.1% of total)
ival-cbrt: 17.0ms (0.1% of total)
ival-tanh: 16.0ms (0.1% of total)
ival-log1p: 10.0ms (0% of total)
ival-expm1: 10.0ms (0% of total)
ival-asin: 8.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival->=: 3.0ms (0% of total)

start24.0ms (0%)

Memory
-31.2MiB live, 47.1MiB allocated

Profiling

Loading profile data...