Details

Time bar (total: 3.3s)

analyze132.0ms (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
12.5%87.4%0.1%5
31.2%68.7%0.1%6
50%50%0.1%7
67.1%32.8%0.1%8
74.9%25%0.1%9
83.9%16%0.1%10
87.4%12.5%0.1%11
92%7.9%0.1%12
93.7%6.2%0.1%13
96%3.9%0.1%14
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.2s (35.9%)

Results
855.0ms8253×body128valid
0.0ms2×body512valid
0.0ms1×body2048valid
Compiler

Compiled 41 to 29 computations (29.3% saved)

simplify214.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
2174×fma-neg_binary64
1504×div-sub_binary64
895×associate-/l/_binary64
827×fma-def_binary64
818×associate-/l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01016
11816
22814
34114
45714
59114
613414
719314
835614
952114
1082514
11147514
12200214
13187714
14193114
15196114
16196714
17196714
18259014
19236614
20236614
21325414
22405214
23402414
24450414
25447014
26470614
27491314

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
Compiler

Compiled 47 to 31 computations (34% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
✓9.4b
(/.f64 y (fma.f64 x (/.f64 y 2) 1))

series24.0ms (0.7%)

Counts
2 → 48
Calls

2 calls:

14.0ms
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
10.0ms
(/.f64 y (fma.f64 x (/.f64 y 2) 1))

rewrite18.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
57×add-sqr-sqrt_binary64
54×*-un-lft-identity_binary64
52×add-cube-cbrt_binary64
46×times-frac_binary64
39×prod-diff_binary64
Counts
2 → 100
Calls

2 calls:

7.0ms
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
2.0ms
(/.f64 y (fma.f64 x (/.f64 y 2) 1))

simplify158.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
666×fma-def_binary64
422×fma-neg_binary64
414×associate-/l*_binary64
273×cancel-sign-sub-inv_binary64
190×times-frac_binary64
Counts
148 → 149
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02434990
16373475
216832934
346332926
449942926
549942926
647952926

prune126.0ms (3.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1472149
Fresh000
Picked011
Done000
Total1473150
Error
0.0b
Counts
150 → 3
Alt Table
StatusErrorProgram
19.4b
(-.f64 x (/.f64 2 x))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
▶17.8b
(-.f64 x (/.f64 (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))))
Compiler

Compiled 4873 to 3091 computations (36.6% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
✓0.1b
(/.f64 (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
✓3.1b
(sqrt.f64 (fma.f64 x (/.f64 y 2) 1))

series154.0ms (4.7%)

Counts
3 → 40
Calls

3 calls:

92.0ms
(sqrt.f64 (fma.f64 x (/.f64 y 2) 1))
48.0ms
(/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
15.0ms
(/.f64 (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))

rewrite46.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
276×times-frac_binary64
157×add-sqr-sqrt_binary64
156×*-un-lft-identity_binary64
156×add-cube-cbrt_binary64
147×sqrt-prod_binary64
Counts
3 → 233
Calls

3 calls:

7.0ms
(/.f64 (/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
3.0ms
(/.f64 y (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
1.0ms
(sqrt.f64 (fma.f64 x (/.f64 y 2) 1))

simplify228.0ms (6.9%)

Algorithm
1×egg-herbie
Rules
527×associate-*l*_binary64
525×associate-/l/_binary64
508×unswap-sqr_binary64
464×times-frac_binary64
397×associate-/r*_binary64
Counts
273 → 288
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
027810572
16469594
215018940
342638733
454978733

prune284.0ms (8.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New3101311
Fresh011
Picked101
Done011
Total3113314
Error
0b
Counts
314 → 3
Alt Table
StatusErrorProgram
19.4b
(-.f64 x (/.f64 2 x))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
▶17.8b
(-.f64 x (/.f64 y (*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))))
Compiler

Compiled 10206 to 7119 computations (30.2% saved)

localize69.0ms (2.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
3.1b
(sqrt.f64 (fma.f64 x (/.f64 y 2) 1))
✓3.1b
(/.f64 y (*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))))

series14.0ms (0.4%)

Counts
2 → 48
Calls

2 calls:

10.0ms
(/.f64 y (*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))))
4.0ms
(*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))

rewrite16.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
18×sqrt-prod_binary64
17×pow1_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
Counts
2 → 76
Calls

2 calls:

6.0ms
(*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))
5.0ms
(/.f64 y (*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1))))

simplify77.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
641×unswap-sqr_binary64
633×times-frac_binary64
445×fma-neg_binary64
400×associate-/r*_binary64
395×associate-*l*_binary64
Counts
124 → 112
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01231959
12741750
28861698
337351662
453711662

prune130.0ms (3.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1580158
Fresh011
Picked011
Done011
Total1583161
Error
0b
Counts
161 → 3
Alt Table
StatusErrorProgram
▶19.4b
(-.f64 x (/.f64 2 x))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
✓17.8b
(-.f64 x (/.f64 y (*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))))
Compiler

Compiled 3776 to 2637 computations (30.2% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 2 x))

series2.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(-.f64 x (/.f64 2 x))

rewrite15.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
48×add-sqr-sqrt_binary64
45×*-un-lft-identity_binary64
43×add-cube-cbrt_binary64
39×prod-diff_binary64
37×times-frac_binary64
Counts
1 → 71
Calls

1 calls:

9.0ms
(-.f64 x (/.f64 2 x))

simplify145.0ms (4.4%)

Algorithm
1×egg-herbie
Rules
365×associate-*l/_binary64
360×fma-neg_binary64
342×exp-prod_binary64
332×associate-*r/_binary64
332×fma-def_binary64
Counts
83 → 89
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01701025
1409890
2989651
33477651
44031651
54942651
64527651

prune59.0ms (1.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New89089
Fresh000
Picked011
Done022
Total89392
Error
0b
Counts
92 → 3
Alt Table
StatusErrorProgram
✓19.4b
(-.f64 x (/.f64 2 x))
✓0.0b
(-.f64 x (/.f64 y (fma.f64 x (/.f64 y 2) 1)))
✓17.8b
(-.f64 x (/.f64 y (*.f64 (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)) (sqrt.f64 (fma.f64 x (/.f64 y 2) 1)))))
Compiler

Compiled 2170 to 1422 computations (34.5% saved)

regimes115.0ms (3.5%)

Accuracy

Total 0.0b remaining (79.7%)

Threshold costs 0.0b (79.7%)

Counts
35 → 1
Compiler

Compiled 1961 to 1457 computations (25.7% 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
0914
11314
21914
32314
42614
52714
62614

end72.0ms (2.2%)

Compiler

Compiled 64 to 44 computations (31.3% saved)

Profiling

Loading profile data...