Details

Time bar (total: 1.6s)

analyze5.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
25%25%50%2
25%25%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.2s (77.8%)

Infinites
100% of outputs are infinite.
Results
1.1s8256×body128valid
Compiler

Compiled 84 to 55 computations (34.5% saved)

simplify56.0ms (3.5%)

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.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.1b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
47.0b
(/.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.3%)

Local error

Found 2 expressions with local error:

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

series6.0ms (0.4%)

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))))

rewrite16.0ms (1%)

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:

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

simplify122.0ms (7.7%)

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 (4.1%)

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.1b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
▶33.5b
(*.f64 -1/4 (pow.f64 i 2))
Compiler

Compiled 1813 to 1360 computations (25% saved)

localize3.0ms (0.2%)

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
✓0.1b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
✓33.5b
(*.f64 -1/4 (pow.f64 i 2))
Compiler

Compiled 16 to 13 computations (18.8% saved)

regimes27.0ms (1.7%)

Accuracy

Total 0.4b remaining (97.2%)

Threshold costs 0.4b (97.2%)

Counts
7 → 1
Compiler

Compiled 274 to 195 computations (28.8% saved)

simplify2.0ms (0.1%)

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

end40.0ms (2.5%)

Compiler

Compiled 36 to 29 computations (19.4% saved)

Profiling

Loading profile data...