Details

Time bar (total: 2.1s)

analyze75.0ms (3.6%)

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

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

Compiled 57 to 38 computations (33.3% saved)

simplify68.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
581×associate-/r*_binary64
516×cancel-sign-sub-inv_binary64
510×distribute-rgt-in_binary64
489×distribute-lft-in_binary64
415×associate-/r/_binary64
Counts
1 → 1
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01131
13928
217719
390413
4232013
5406913
6504713

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.2b
Counts
2 → 2
Alt Table
StatusErrorProgram
▶0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
49.9b
(/.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 82 to 58 computations (29.3% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
0.3b
(/.f64 1 (*.f64 i i))

rewrite73.0ms (3.5%)

Algorithm
1×rewrite-expression-head
Error
0b
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 → 81
Calls

2 calls:

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

Compiled 1183 to 881 computations (25.5% saved)

series16.0ms (0.8%)

Error
0b
Counts
2 → 9
Calls

2 calls:

7.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
5.0ms
(/.f64 1 (*.f64 i i))
Compiler

Compiled 205 to 176 computations (14.1% saved)

simplify135.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
484×cancel-sign-sub-inv_binary64
449×associate-/l*_binary64
360×associate-/r*_binary64
346×div-sub_binary64
233×associate-/l/_binary64
Counts
90 → 68
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01421451
12691354
26001255
314831255
443721195
549661195
648951195

prune22.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New66268
Fresh101
Picked011
Done000
Total67370
Error
0b
Counts
70 → 3
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
32.5b
(*.f64 (*.f64 i i) -1/4)
▶9.4b
(cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3))
Compiler

Compiled 496 to 376 computations (24.2% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3)
0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
0.3b
(/.f64 1 (*.f64 i i))
9.4b
(cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3))

rewrite165.0ms (8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
155×times-frac_binary64
149×add-sqr-sqrt_binary64
133×*-un-lft-identity_binary64
69×add-cube-cbrt_binary64
66×cbrt-prod_binary64
Counts
4 → 237
Calls

4 calls:

10.0ms
(cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3))
9.0ms
(pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3)
7.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
4.0ms
(/.f64 1 (*.f64 i i))
Compiler

Compiled 3449 to 2730 computations (20.8% saved)

series40.0ms (1.9%)

Error
0b
Counts
4 → 21
Calls

4 calls:

8.0ms
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
8.0ms
(/.f64 1 (*.f64 i i))
8.0ms
(pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3)
7.0ms
(cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3))
Compiler

Compiled 572 to 499 computations (12.8% saved)

simplify213.0ms (10.3%)

Algorithm
1×egg-herbie
Rules
385×times-frac_binary64
355×associate-/l*_binary64
220×unswap-sqr_binary64
202×log-div_binary64
200×distribute-rgt-in_binary64
Counts
258 → 219
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02775566
16544983
218634798
347484798
449084798

prune64.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2190219
Fresh011
Picked011
Done011
Total2193222
Error
0b
Counts
222 → 3
Alt Table
StatusErrorProgram
✓0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
▶32.5b
(*.f64 (*.f64 i i) -1/4)
✓9.4b
(cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3))
Compiler

Compiled 1638 to 1304 computations (20.4% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify9.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune7.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0b
Counts
3 → 3
Alt Table
StatusErrorProgram
0.2b
(/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i))))
32.5b
(*.f64 (*.f64 i i) -1/4)
9.4b
(cbrt.f64 (pow.f64 (/.f64 1/4 (-.f64 4 (/.f64 1 (*.f64 i i)))) 3))
Compiler

Compiled 29 to 23 computations (20.7% saved)

regimes69.0ms (3.4%)

Accuracy

Total 0.1b remaining (89.5%)

Threshold costs 0.1b (89.5%)

Compiler

Compiled 1098 to 881 computations (19.8% saved)

simplify4.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01322
11922
22522
32722
42822
52522

end1.0ms (0%)

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample1.0s (50.8%)

Algorithm
1×intervals
Results
603.0ms8000×body128valid
107.0ms8000×pre128true
Compiler

Compiled 76 to 58 computations (23.7% saved)

Profiling

Loading profile data...