Details

Time bar (total: 2.0s)

analyze46.0ms (2.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
0%99.9%0.1%5
50%50%0.1%6
68.7%31.2%0.1%7
81.2%18.7%0.1%8
89%10.9%0.1%9
92.1%7.8%0.1%10
95.6%4.3%0.1%11
96.4%3.5%0.1%12
98%1.9%0.1%13
98.2%1.7%0.1%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample160.0ms (8.1%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 25 to 17 computations (32% saved)

simplify135.0ms (6.9%)

Algorithm
1×egg-herbie
Rules
878×div-sub_binary64
546×times-frac_binary64
500×sub-neg_binary64
408×fma-def_binary64
395×neg-sub0_binary64
Counts
1 → 2
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0813
11613
24013
38113
415313
524813
643511
7107711
8302911
9355811
10395911
11415811
12437711
13455211
14508311

prune4.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
14.7b
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
Compiler

Compiled 61 to 40 computations (34.4% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(fma.f64 1/2 (/.f64 x y) -1/2)
✓7.1b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))

series16.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

11.0ms
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
5.0ms
(fma.f64 1/2 (/.f64 x y) -1/2)

rewrite4.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
10×*-un-lft-identity_binary64
10×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
9×times-frac_binary64
4×add-cbrt-cube_binary64
Counts
2 → 39
Calls

2 calls:

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

simplify109.0ms (5.6%)

Algorithm
1×egg-herbie
Rules
427×fma-neg_binary64
381×cancel-sign-sub-inv_binary64
231×fma-def_binary64
198×associate-/l*_binary64
198×times-frac_binary64
Counts
87 → 62
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0981389
12261308
26791260
324111246
445771246
549931246
649411246

prune38.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New58462
Fresh101
Picked011
Done000
Total59564
Error
0.0b
Counts
64 → 5
Alt Table
StatusErrorProgram
32.5b
(*.f64 2 (+.f64 y (/.f64 (*.f64 y y) x)))
36.4b
(*.f64 -2 (+.f64 x (/.f64 (*.f64 x x) y)))
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
▶7.4b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
7.4b
(/.f64 1 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x))
Compiler

Compiled 1036 to 610 computations (41.1% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.2b
(fma.f64 1/2 (/.f64 x y) -1/2)
✓0.4b
(/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2))
✓6.6b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))

series24.0ms (1.2%)

Counts
2 → 48
Calls

2 calls:

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

rewrite11.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64
20×times-frac_binary64
19×*-un-lft-identity_binary64
18×add-cube-cbrt_binary64
15×add-exp-log_binary64
Counts
2 → 71
Calls

2 calls:

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

simplify131.0ms (6.7%)

Algorithm
1×egg-herbie
Rules
708×fma-neg_binary64
510×times-frac_binary64
465×fma-def_binary64
305×associate-/l*_binary64
235×associate-/r*_binary64
Counts
119 → 135
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01342199
13462027
211011874
339031857
450561857

prune102.0ms (5.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1482150
Fresh123
Picked011
Done011
Total1496155
Error
0b
Counts
155 → 6
Alt Table
StatusErrorProgram
30.7b
(*.f64 2 (fma.f64 y (/.f64 y x) y))
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
51.4b
(*.f64 x (exp.f64 (neg.f64 (log.f64 (fma.f64 (/.f64 x y) 1/2 -1/2)))))
36.4b
(*.f64 -2 (+.f64 x (/.f64 (*.f64 x x) y)))
✓7.4b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
▶7.4b
(/.f64 1 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x))
Compiler

Compiled 2751 to 1773 computations (35.6% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.2b
(fma.f64 1/2 (/.f64 x y) -1/2)
✓0.4b
(/.f64 1 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x))
✓6.9b
(/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x)

series21.0ms (1.1%)

Counts
2 → 48
Calls

2 calls:

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

rewrite15.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
84×times-frac_binary64
52×*-un-lft-identity_binary64
52×add-sqr-sqrt_binary64
52×add-cube-cbrt_binary64
16×associate-/r*_binary64
Counts
2 → 107
Calls

2 calls:

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

simplify151.0ms (7.7%)

Algorithm
1×egg-herbie
Rules
714×fma-neg_binary64
408×times-frac_binary64
399×cancel-sign-sub-inv_binary64
256×fma-def_binary64
247×associate-/l*_binary64
Counts
155 → 157
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01443160
13132887
29292794
331762787
447472787
549352787

prune103.0ms (5.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1711172
Fresh123
Picked011
Done022
Total1726178
Error
0b
Counts
178 → 6
Alt Table
StatusErrorProgram
30.7b
(*.f64 2 (fma.f64 y (/.f64 y x) y))
▶0.4b
(/.f64 1 (+.f64 (/.f64 -1/2 x) (/.f64 1/2 y)))
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
36.4b
(*.f64 -2 (+.f64 x (/.f64 (*.f64 x x) y)))
✓7.4b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
✓7.4b
(/.f64 1 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x))
Compiler

Compiled 3407 to 2137 computations (37.3% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (/.f64 -1/2 x) (/.f64 1/2 y))
✓0.4b
(/.f64 1 (+.f64 (/.f64 -1/2 x) (/.f64 1/2 y)))

series19.0ms (1%)

Counts
2 → 48
Calls

2 calls:

11.0ms
(/.f64 1 (+.f64 (/.f64 -1/2 x) (/.f64 1/2 y)))
8.0ms
(+.f64 (/.f64 -1/2 x) (/.f64 1/2 y))

rewrite25.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
49×*-un-lft-identity_binary64
34×times-frac_binary64
19×add-sqr-sqrt_binary64
19×add-cube-cbrt_binary64
13×fma-def_binary64
Counts
2 → 73
Calls

2 calls:

11.0ms
(+.f64 (/.f64 -1/2 x) (/.f64 1/2 y))
10.0ms
(/.f64 1 (+.f64 (/.f64 -1/2 x) (/.f64 1/2 y)))

simplify75.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
605×fma-neg_binary64
549×cancel-sign-sub-inv_binary64
339×fma-def_binary64
229×associate-*l*_binary64
209×times-frac_binary64
Counts
121 → 97
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01061757
12911647
28411598
334021595
450771595

prune61.0ms (3.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New97097
Fresh022
Picked011
Done033
Total976103
Error
0b
Counts
103 → 6
Alt Table
StatusErrorProgram
30.7b
(*.f64 2 (fma.f64 y (/.f64 y x) y))
✓0.4b
(/.f64 1 (+.f64 (/.f64 -1/2 x) (/.f64 1/2 y)))
✓7.3b
(/.f64 x (fma.f64 1/2 (/.f64 x y) -1/2))
36.4b
(*.f64 -2 (+.f64 x (/.f64 (*.f64 x x) y)))
✓7.4b
(*.f64 x (/.f64 1 (fma.f64 1/2 (/.f64 x y) -1/2)))
✓7.4b
(/.f64 1 (/.f64 (fma.f64 1/2 (/.f64 x y) -1/2) x))
Compiler

Compiled 1658 to 1273 computations (23.2% saved)

regimes100.0ms (5.1%)

Accuracy

Total 0.2b remaining (98.5%)

Threshold costs 0.2b (98.5%)

Counts
24 → 1
Compiler

Compiled 769 to 562 computations (26.9% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
11313
21213

end0.0ms (0%)

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample587.0ms (29.9%)

Algorithm
1×intervals
Results
323.0ms8000×body128valid
Compiler

Compiled 91 to 66 computations (27.5% saved)

Profiling

Loading profile data...