Details

Time bar (total: 1.9s)

analyze8.0ms (0.4%)

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 29 to 19 computations (34.5% saved)

sample1.4s (74.6%)

Results
1.4s8256×body128valid
Compiler

Compiled 84 to 55 computations (34.5% saved)

simplify58.0ms (3%)

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.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.2b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
46.2b
(/.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))
Compiler

Compiled 107 to 73 computations (31.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
✓0.8b
(/.f64 1 (*.f64 i i))

series6.0ms (0.3%)

Counts
2 → 24
Calls

2 calls:

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

rewrite15.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64
35×times-frac_binary64
33×*-un-lft-identity_binary64
17×add-cube-cbrt_binary64
15×add-exp-log_binary64
Counts
2 → 85
Calls

2 calls:

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

simplify119.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
484×cancel-sign-sub-inv_binary64
484×fma-neg_binary64
262×associate-/l/_binary64
260×unsub-neg_binary64
197×neg-mul-1_binary64
Counts
109 → 114
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01571670
13041577
27011474
318551474
442051414
548871414
649991414
748671414

prune66.0ms (3.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1131114
Fresh101
Picked011
Done000
Total1142116
Error
0b
Counts
116 → 2
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
▶31.4b
(-.f64 (*.f64 (*.f64 i i) -1/4) (pow.f64 i 4))
Compiler

Compiled 1821 to 1364 computations (25.1% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

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

rewrite7.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
7×cancel-sign-sub-inv_binary64
7×prod-diff_binary64
6×unpow-prod-down_binary64
5×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
Counts
1 → 28
Calls

1 calls:

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

simplify82.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
679×unsub-neg_binary64
354×fma-def_binary64
280×fma-neg_binary64
249×*-commutative_binary64
246×cancel-sign-sub-inv_binary64
Counts
40 → 44
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
090857
1192652
2685511
31628511
43447511
54962511
64753511

prune30.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New44044
Fresh000
Picked011
Done011
Total44246
Error
0b
Counts
46 → 2
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
✓31.4b
(-.f64 (*.f64 (*.f64 i i) -1/4) (pow.f64 i 4))
Compiler

Compiled 845 to 556 computations (34.2% saved)

regimes37.0ms (1.9%)

Accuracy

Total 0.4b remaining (97.5%)

Threshold costs 0.4b (97.5%)

Counts
12 → 1
Compiler

Compiled 350 to 253 computations (27.7% saved)

simplify3.0ms (0.2%)

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

end43.0ms (2.2%)

Compiler

Compiled 40 to 31 computations (22.5% saved)

Profiling

Loading profile data...