Details

Time bar (total: 1.5s)

analyze74.0ms (5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
37.5%12.5%50%4
43.7%6.2%50%5
46.9%3.1%50%6
48.4%1.6%50%7
49.2%0.8%50%8
49.6%0.4%50%9
49.8%0.2%50%10
49.9%0.1%50%11
49.9%0%50%12
50%0%50%13
50%0%50%14
Compiler

Compiled 30 to 20 computations (33.3% saved)

sample30.0ms (2%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
3.0ms256×pre128true
Compiler

Compiled 57 to 38 computations (33.3% saved)

simplify62.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
581×associate-/r*_binary64
510×distribute-rgt-in_binary64
489×distribute-lft-in_binary64
463×fma-neg_binary64
415×associate-/r/_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01131
14026
218517
391513
4234013
5445513
6495813
7507713

prune4.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
45.6b
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
▶0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 107 to 73 computations (31.8% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 4 (/.f64 1 (*.f64 i i)))
✓0.4b
(/.f64 1 (*.f64 i i))
✓0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))

rewrite25.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
59×add-sqr-sqrt_binary64
54×*-un-lft-identity_binary64
49×times-frac_binary64
34×add-cube-cbrt_binary64
21×prod-diff_binary64
Counts
3 → 134
Calls

3 calls:

6.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
5.0ms
(-.f64 4 (/.f64 1 (*.f64 i i)))
3.0ms
(/.f64 1 (*.f64 i i))

series15.0ms (1%)

Counts
3 → 36
Calls

3 calls:

6.0ms
(/.f64 1 (*.f64 i i))
5.0ms
(-.f64 4 (/.f64 1 (*.f64 i i)))
4.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))

simplify149.0ms (10%)

Algorithm
1×egg-herbie
Rules
817×fma-neg_binary64
446×unswap-sqr_binary64
409×associate-*l*_binary64
361×fma-def_binary64
294×associate-*r*_binary64
Counts
170 → 323
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02032573
13822324
29772089
334182089
446412081
549492081
647802081

prune116.0ms (7.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New3221323
Fresh101
Picked011
Done000
Total3232325
Error
0b
Counts
325 → 2
Alt Table
StatusErrorProgram
▶30.8b
(*.f64 -1/4 (pow.f64 i 2))
✓0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 3632 to 2690 computations (25.9% saved)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify9.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0b
Counts
2 → 2
Alt Table
StatusErrorProgram
✓30.8b
(*.f64 -1/4 (pow.f64 i 2))
✓0.6b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
Compiler

Compiled 16 to 13 computations (18.8% saved)

regimes28.0ms (1.9%)

Accuracy

Total 0.3b remaining (96.6%)

Threshold costs 0.3b (96.6%)

Compiler

Compiled 286 to 207 computations (27.6% saved)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×sub-neg_binary64
1×*-commutative_binary64
1×distribute-neg-frac_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11313
21913
32113
42213
52013

end0.0ms (0%)

Compiler

Compiled 10 to 8 computations (20% saved)

sample963.0ms (64.7%)

Algorithm
1×intervals
Results
550.0ms8000×body128valid
112.0ms8000×pre128true
Compiler

Compiled 57 to 42 computations (26.3% saved)

Profiling

Loading profile data...