Details

Time bar (total: 1.8s)

analyze98.0ms (5.4%)

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
25%74.9%0.1%5
37.5%62.4%0.1%6
37.5%40.6%22%7
43.7%32.8%23.5%8
54.6%21.1%24.3%9
58.5%16.8%24.7%10
64.4%10.7%24.9%11
66.5%8.5%25%12
69.6%5.4%25%13
70.7%4.3%25%14
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample698.0ms (38.8%)

Results
660.0ms8256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify11.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
65×fma-def_binary64
44×fma-neg_binary64
21×cancel-sign-sub-inv_binary64
15×sub-neg_binary64
11×neg-mul-1_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1107
2177
3287
4417
5647
6917
71187
81417
91517
101637
111677
121487

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 x (*.f64 y y))
Compiler

Compiled 21 to 12 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (*.f64 y y))

series5.0ms (0.3%)

Counts
1 → 24
Calls

1 calls:

5.0ms
(-.f64 x (*.f64 y y))

rewrite3.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
4×add-sqr-sqrt_binary64
3×add-log-exp_binary64
3×fma-neg_binary64
3×*-un-lft-identity_binary64
3×prod-diff_binary64
Counts
1 → 21
Calls

1 calls:

2.0ms
(-.f64 x (*.f64 y y))

simplify75.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
480×fma-def_binary64
363×unswap-sqr_binary64
357×unsub-neg_binary64
272×times-frac_binary64
246×*-commutative_binary64
Counts
45 → 31
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
046410
1103373
2230354
3791352
42076352
53656352
64833352
74799352

prune14.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New29231
Fresh000
Picked011
Done000
Total29332
Error
0b
Counts
32 → 3
Alt Table
StatusErrorProgram
34.6b
(*.f64 (+.f64 (sqrt.f64 x) y) (-.f64 (sqrt.f64 x) y))
▶1.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y)))) (cbrt.f64 (-.f64 x (*.f64 y y))))
✓0.0b
(-.f64 x (*.f64 y y))
Compiler

Compiled 394 to 121 computations (69.3% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 x (*.f64 y y))
✓0.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y)))) (cbrt.f64 (-.f64 x (*.f64 y y))))
✓0.5b
(*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y))))
✓0.6b
(cbrt.f64 (-.f64 x (*.f64 y y)))

series122.0ms (6.8%)

Counts
3 → 72
Calls

3 calls:

66.0ms
(*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y))))
40.0ms
(cbrt.f64 (-.f64 x (*.f64 y y)))
16.0ms
(*.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y)))) (cbrt.f64 (-.f64 x (*.f64 y y))))

rewrite38.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
68×cbrt-div_binary64
34×flip--_binary64
34×flip3--_binary64
32×frac-times_binary64
30×add-sqr-sqrt_binary64
Counts
3 → 134
Calls

3 calls:

14.0ms
(*.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y)))) (cbrt.f64 (-.f64 x (*.f64 y y))))
7.0ms
(*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y))))
2.0ms
(cbrt.f64 (-.f64 x (*.f64 y y)))

simplify198.0ms (11%)

Algorithm
1×egg-herbie
Rules
945×times-frac_binary64
802×fma-def_binary64
313×associate-*r*_binary64
285×associate-*l*_binary64
194×fma-neg_binary64
Counts
206 → 249
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03255737
18115437
227915155
349825155
449805155

prune211.0ms (11.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New4640464
Fresh011
Picked011
Done011
Total4643467
Error
0b
Counts
467 → 3
Alt Table
StatusErrorProgram
▶34.6b
(*.f64 (+.f64 (sqrt.f64 x) y) (-.f64 (sqrt.f64 x) y))
✓1.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y)))) (cbrt.f64 (-.f64 x (*.f64 y y))))
✓0.0b
(-.f64 x (*.f64 y y))
Compiler

Compiled 15825 to 5305 computations (66.5% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (sqrt.f64 x) y)
✓0.1b
(*.f64 (+.f64 (sqrt.f64 x) y) (-.f64 (sqrt.f64 x) y))

series27.0ms (1.5%)

Counts
2 → 26
Calls

2 calls:

18.0ms
(*.f64 (+.f64 (sqrt.f64 x) y) (-.f64 (sqrt.f64 x) y))
9.0ms
(+.f64 (sqrt.f64 x) y)

rewrite70.0ms (3.9%)

Algorithm
1×rewrite-expression-head
Rules
38×*-un-lft-identity_binary64
38×add-sqr-sqrt_binary64
36×prod-diff_binary64
32×add-cube-cbrt_binary64
22×distribute-lft-in_binary64
Counts
2 → 96
Calls

2 calls:

9.0ms
(*.f64 (+.f64 (sqrt.f64 x) y) (-.f64 (sqrt.f64 x) y))
3.0ms
(+.f64 (sqrt.f64 x) y)

simplify82.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
861×distribute-rgt-in_binary64
817×distribute-lft-in_binary64
703×fma-def_binary64
152×associate-*l*_binary64
146×associate-*r*_binary64
Counts
122 → 127
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01561849
13121716
211951520
349571520
449331520

prune38.0ms (2.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1270127
Fresh000
Picked011
Done022
Total1273130
Error
0b
Counts
130 → 3
Alt Table
StatusErrorProgram
✓34.6b
(*.f64 (+.f64 (sqrt.f64 x) y) (-.f64 (sqrt.f64 x) y))
✓1.3b
(*.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y y))) (cbrt.f64 (-.f64 x (*.f64 y y)))) (cbrt.f64 (-.f64 x (*.f64 y y))))
✓0.0b
(-.f64 x (*.f64 y y))
Compiler

Compiled 2726 to 550 computations (79.8% saved)

regimes49.0ms (2.7%)

Accuracy

Total 0.0b remaining (53.7%)

Threshold costs 0.0b (53.7%)

Counts
12 → 1
Compiler

Compiled 652 to 378 computations (42% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1107
2177
3217
4237
5237

end41.0ms (2.3%)

Compiler

Compiled 54 to 25 computations (53.7% saved)

Profiling

Loading profile data...