Herbie run

Date:Friday, May 17th, 2024
Commit:468a8500 on if-cost
Hostname:nightly with Racket 8.11.1
Seed:2024138
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: 18.2min)

sample6.1min (33.4%)

Results
1.9min434420×0valid
33.1s8020×5exit
25.4s28975×1valid
3.1s6818×2valid
602.0ms4590×0unsamplable
186.0ms388×3valid
58.0ms513×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 1.1min (46.4% of total)
ival-sin: 23.7s (16.6% of total)
ival-add: 20.9s (14.7% of total)
...c/correct-round.rkt:119:19: 5.8s (4.1% of total)
ival-div: 4.8s (3.4% of total)
backward-pass: 3.5s (2.4% of total)
ival-exp: 2.8s (1.9% of total)
ival-sub: 2.6s (1.8% of total)
ival-log: 2.2s (1.5% of total)
ival-sqrt: 2.1s (1.5% of total)
ival-cos: 1.5s (1% of total)
ival-asin: 1.1s (0.8% of total)
ival-pow: 1.0s (0.7% of total)
ival-atan2: 793.0ms (0.6% of total)
const: 786.0ms (0.6% of total)
ival->: 619.0ms (0.4% of total)
ival-pi: 534.0ms (0.4% of total)
ival-acosh: 339.0ms (0.2% of total)
ival-<=: 328.0ms (0.2% of total)
ival-neg: 269.0ms (0.2% of total)
ival-fabs: 259.0ms (0.2% of total)
ival-asinh: 259.0ms (0.2% of total)
ival-atanh: 166.0ms (0.1% of total)
ival->=: 131.0ms (0.1% of total)
ival-and: 83.0ms (0.1% of total)
Bogosity

soundness4.0min (21.9%)

Rules
866148×*-lowering-*.f32
866148×*-lowering-*.f64
505954×+-lowering-+.f32
505954×+-lowering-+.f64
358086×/-lowering-/.f32
Stop Event
17×saturated
258×iter limit
38×fuel
226×node limit
2×unsound
17×done
Compiler

Compiled 39463 to 20598 computations (47.8% saved)

series2.3min (12.5%)

Counts
2847 → 52656
Calls

10251 calls:

TimeVariablePointExpression
2.0min
x
@0
(/ (- (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (/ (- (/ 1126581484710674041/1000000000000000000 (pow (- 1 (* (fabs x) -3275911/10000000)) 2)) 2111650813574208729/1000000000000000000) (- (/ 1061405429/1000000000 (- 1 (* (fabs x) -3275911/10000000))) -1453152027/1000000000)) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) (pow (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3)))) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2)))
1.3s
x
@0
(/ (- (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) (pow (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3)))) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2)))
992.0ms
im
@inf
(* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im)))
867.0ms
x
@0
(- (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (/ (- (/ 1126581484710674041/1000000000000000000 (pow (- 1 (* (fabs x) -3275911/10000000)) 2)) 2111650813574208729/1000000000000000000) (- (/ 1061405429/1000000000 (- 1 (* (fabs x) -3275911/10000000))) -1453152027/1000000000)) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) (pow (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3))))
630.0ms
x
@0
(- (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) (pow (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3))))

simplify1.5min (8.3%)

Algorithm
451×egg-herbie
Rules
1073420×*-lowering-*.f32
1073420×*-lowering-*.f64
672254×+-lowering-+.f32
672254×+-lowering-+.f64
363162×fma-lowering-fma.f64
Stop Event
396×iter limit
158×saturated
291×node limit
1×unsound
Counts
52296 → 52296

rewrite1.2min (6.6%)

Algorithm
198×batch-egg-rewrite
Rules
622720×*-lowering-*.f32
622720×*-lowering-*.f64
441500×/-lowering-/.f32
441500×/-lowering-/.f64
265662×+-lowering-+.f32
Stop Event
6×saturated
220×iter limit
188×node limit
4×unsound
Counts
2847 → 102048

localize44.5s (4.1%)

Results
13.0s38939×0valid
10.1s2697×5exit
3.2s3177×1valid
2.7s1104×2valid
2.2s4385×0invalid
220.0ms76×3valid
213.0ms307×0unsamplable
5.0ms3×4valid
Compiler

Compiled 67731 to 5519 computations (91.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.3s
ival-mult: 4.7s (24.1% of total)
ival-div: 2.3s (11.9% of total)
ival-pow: 2.3s (11.8% of total)
backward-pass: 2.0s (10.4% of total)
ival-add: 1.8s (9.1% of total)
ival-log: 1.4s (7.2% of total)
...c/correct-round.rkt:119:19: 1.2s (6% of total)
compiled-spec: 628.0ms (3.3% of total)
ival-sub: 603.0ms (3.1% of total)
ival-asin: 411.0ms (2.1% of total)
ival-acos: 322.0ms (1.7% of total)
ival-sqrt: 318.0ms (1.6% of total)
ival-atan2: 279.0ms (1.4% of total)
ival-sin: 273.0ms (1.4% of total)
ival-cos: 262.0ms (1.4% of total)
ival-exp: 186.0ms (1% of total)
const: 154.0ms (0.8% of total)
ival-copysign: 95.0ms (0.5% of total)
ival-fabs: 80.0ms (0.4% of total)
ival-neg: 67.0ms (0.3% of total)
ival-pi: 39.0ms (0.2% of total)
ival-cosh: 34.0ms (0.2% of total)
ival-cbrt: 17.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

eval40.7s (3.7%)

Compiler

Compiled 10199793 to 480159 computations (95.3% saved)

prune40.4s (3.7%)

Counts
199400 → 3531
Compiler

Compiled 206121 to 85821 computations (58.4% saved)

regimes23.6s (2.2%)

Counts
12153 → 994
Calls

128 calls:

7.6s
re
6.2s
im
1.0s
x
650.0ms
y.re
579.0ms
y.im
Compiler

Compiled 5274 to 3428 computations (35% saved)

bsearch16.4s (1.5%)

Algorithm
472×binary-search
33×left-value
Stop Event
25×predicate-same
447×narrow-enough
Results
6.3s47894×0valid
4.6s3931×1valid
309.0ms627×2valid
10.0ms28×3valid
Compiler

Compiled 110786 to 71040 computations (35.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.8s
ival-mult: 3.2s (36.5% of total)
ival-log: 1.5s (17.5% of total)
ival-add: 728.0ms (8.3% of total)
ival-sub: 696.0ms (7.9% of total)
...c/correct-round.rkt:119:19: 444.0ms (5% of total)
ival-sin: 412.0ms (4.7% of total)
ival-cos: 347.0ms (3.9% of total)
ival-exp: 340.0ms (3.9% of total)
ival-atan2: 324.0ms (3.7% of total)
ival-div: 258.0ms (2.9% of total)
ival-sqrt: 220.0ms (2.5% of total)
backward-pass: 155.0ms (1.8% of total)
const: 70.0ms (0.8% of total)
ival-neg: 21.0ms (0.2% of total)
ival-copysign: 16.0ms (0.2% of total)
ival-fabs: 14.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

preprocess11.8s (1.1%)

Algorithm
112×egg-herbie
Rules
64076×fnmadd-define
61766×fma-define
59546×sum3-define
55566×fmsub-define
47356×sum4-define
Stop Event
66×saturated
56×iter limit
46×node limit
Compiler

Compiled 36520 to 12040 computations (67% saved)

explain9.0s (0.8%)

Results
3.6s24814×0valid
1.5s3118×1valid
288.0ms600×2valid
68.0ms118×5exit
12.0ms22×3valid
Compiler

Compiled 11865 to 1987 computations (83.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 946.0ms (29.6% of total)
ival-add: 443.0ms (13.9% of total)
ival-log: 241.0ms (7.5% of total)
ival-div: 222.0ms (6.9% of total)
...c/correct-round.rkt:119:19: 213.0ms (6.7% of total)
backward-pass: 188.0ms (5.9% of total)
ival-sqrt: 147.0ms (4.6% of total)
ival-exp: 124.0ms (3.9% of total)
ival-sub: 118.0ms (3.7% of total)
ival-sin: 116.0ms (3.6% of total)
compiled-spec: 110.0ms (3.4% of total)
ival-asin: 67.0ms (2.1% of total)
ival-atan2: 65.0ms (2% of total)
ival-cos: 65.0ms (2% of total)
const: 51.0ms (1.6% of total)
ival-fabs: 26.0ms (0.8% of total)
ival-pi: 18.0ms (0.6% of total)
ival-pow: 15.0ms (0.5% of total)
ival-copysign: 14.0ms (0.4% of total)
ival-neg: 10.0ms (0.3% of total)

analyze3.5s (0.3%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
53.4%46.1%40.2%13.7%0%0%0%1
62.8%53.1%31.4%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 1558 to 790 computations (49.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 631.0ms (27.8% of total)
ival-div: 373.0ms (16.4% of total)
ival-add: 316.0ms (13.9% of total)
...c/correct-round.rkt:119:19: 211.0ms (9.3% of total)
ival-sqrt: 156.0ms (6.9% of total)
ival-log: 140.0ms (6.2% of total)
ival-pow: 104.0ms (4.6% of total)
ival-atan2: 81.0ms (3.6% of total)
ival-sub: 74.0ms (3.3% of total)
ival-exp: 52.0ms (2.3% of total)
ival-<=: 29.0ms (1.3% of total)
ival-sin: 25.0ms (1.1% of total)
const: 22.0ms (1% of total)
ival-cos: 15.0ms (0.7% of total)
ival->: 13.0ms (0.6% of total)
ival-pi: 8.0ms (0.4% of total)
ival-neg: 7.0ms (0.3% of total)
backward-pass: 6.0ms (0.3% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...