Details

Time bar (total: 1.1s)

analyze350.0ms (30.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
37.4%62.4%0.1%8
40.6%56.2%3.3%9
46.8%46%7.2%10
58.5%32.8%8.7%11
60.8%27.9%11.3%12
63.8%22.4%13.8%13
69.1%16.5%14.4%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample750.0ms (65.9%)

Results
677.0ms8256×body128valid
58.0ms657×body128invalid
Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess16.0ms (1.4%)

Algorithm
2×egg-herbie
Rules
12×fma-def_binary64
7×*-commutative_binary64
6×+-commutative_binary64
4×distribute-lft-out_binary64
2×distribute-rgt-out_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01428
13128
24728
033
133
Stop Event
1×unsound
1×saturated
Symmetry

(sort d2 d3)

Compiler

Compiled 10 to 6 computations (40% saved)

simplify6.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
3×*-commutative_binary64
2×+-commutative_binary64
1×distribute-lft-out_binary64
1×distribute-rgt-out_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1137
2197
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
StatusErrorProgram
0.0b
(*.f64 d1 (+.f64 d2 d3))
▶0.0b
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
Compiler

Compiled 51 to 30 computations (41.2% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))

series10.0ms (0.9%)

Counts
1 → 36
Calls

9 calls:

4.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
d3
inf
1.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
d1
0
1.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
d1
-inf
1.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
d1
inf
1.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
d3
-inf

rewrite0.0ms (0%)

Algorithm
1×batch-egg-rewrite

end0.0ms (0%)

Profiling

Loading profile data...