Details

Time bar (total: 904.0ms)

analyze53.0ms (5.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
62.4%31.2%6.3%6
68.7%18.7%12.6%7
68.7%15.6%15.7%8
71.8%9.4%18.8%9
71.8%7.8%20.4%10
73.4%4.7%22%11
73.4%3.9%22.7%12
74.1%2.3%23.5%13
74.1%2%23.9%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample770.0ms (85.2%)

Results
743.0ms8256×body128valid
12.0ms141×body128invalid
Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess39.0ms (4.3%)

Algorithm
2×egg-herbie
Rules
538×associate-*l*_binary64
466×associate-/r/_binary64
454×times-frac_binary64
384×associate-*r*_binary64
268×sqr-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0918
12218
23918
36818
413818
532418
688318
7279218
8439118
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify27.0ms (3%)

Algorithm
1×egg-herbie
Rules
664×unswap-sqr_binary64
432×associate-/l*_binary64
304×associate-*l*_binary64
293×associate-/r/_binary64
260×associate-*r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
1129
2239
3419
4859
52049
65589
717039
847139
Stop Event
1×node limit
Counts
1 → 2

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0b
(exp.f64 (*.f64 (*.f64 x y) y))
Compiler

Compiled 30 to 17 computations (43.3% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 x y) y)

series9.0ms (1%)

Counts
1 → 24
Calls

6 calls:

2.0ms
(*.f64 (*.f64 x y) y)
x
-inf
2.0ms
(*.f64 (*.f64 x y) y)
y
-inf
1.0ms
(*.f64 (*.f64 x y) y)
x
0
1.0ms
(*.f64 (*.f64 x y) y)
x
inf
1.0ms
(*.f64 (*.f64 x y) y)
y
inf

rewrite0.0ms (0%)

Algorithm
1×batch-egg-rewrite

end0.0ms (0%)

Profiling

Loading profile data...