Details

Time bar (total: 6.7s)

analyze392.0ms (5.9%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0476826
1476826
022
122
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 10 to 8 computations (20% saved)

sample80.0ms (1.2%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 2579 to 2577 computations (0.1% saved)

simplify131.0ms (2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (126.0ms)

IterNodesCost
0485313
1485313

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
15.8b
Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

15.4b
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))

rewrite43.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×add-exp-log_binary64_17166 add-cbrt-cube_binary64_17164
7×add-sqr-sqrt_binary64_17150 *-un-lft-identity_binary64_17128
5×times-frac_binary64_17134 associate-/r*_binary64_17072
3×prod-exp_binary64_17177 div-exp_binary64_17179 add-cube-cbrt_binary64_17163 cbrt-undiv_binary64_17162 cbrt-unprod_binary64_17161
2×difference-of-squares_binary64_17097 distribute-lft-out--_binary64_17080 associate-/r/_binary64_17074
1×pow1_binary64_17189 add-log-exp_binary64_17167 frac-2neg_binary64_17139 clear-num_binary64_17127 div-inv_binary64_17125 flip3--_binary64_17132 flip--_binary64_17103 associate-/l*_binary64_17073
Counts
1 → 29
Calls

1 calls:

9.0ms
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
Compiler

Compiled 488 to 232 computations (52.5% saved)

series145.0ms (2.2%)

Error
1.1b
Counts
1 → 18
Calls

1 calls:

127.0ms
(/.f64 (*.f64 (*.f64 x 2) y) (-.f64 x y))
Compiler

Compiled 552 to 461 computations (16.5% saved)

simplify51.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05227745

prune45.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New43447
Fresh000
Picked101
Done000
Total44448
Error
0.0b
Counts
48 → 4
Compiler

Compiled 635 to 317 computations (50.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
0.2b
(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

rewrite169.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
96×add-sqr-sqrt_binary64_17150
95×times-frac_binary64_17134
76×*-un-lft-identity_binary64_17128
36×add-cube-cbrt_binary64_17163
25×distribute-lft-out--_binary64_17080
20×difference-of-squares_binary64_17097
13×cancel-sign-sub-inv_binary64_17094
12×div-inv_binary64_17125 associate-/r*_binary64_17072
6×add-exp-log_binary64_17166
4×add-log-exp_binary64_17167 add-cbrt-cube_binary64_17164
3×pow1_binary64_17189 associate-/r/_binary64_17074 associate-/l*_binary64_17073
2×div-exp_binary64_17179 frac-sub_binary64_17137 flip3--_binary64_17132 flip--_binary64_17103
1×inv-pow_binary64_17213 pow-flip_binary64_17202 1-exp_binary64_17172 rec-exp_binary64_17178 cbrt-undiv_binary64_17162 frac-2neg_binary64_17139 clear-num_binary64_17127 diff-log_binary64_17220 sub-neg_binary64_17121
Counts
2 → 104
Calls

2 calls:

17.0ms
(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
16.0ms
(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
Compiler

Compiled 1998 to 1613 computations (19.3% saved)

series303.0ms (4.5%)

Error
0.0b
Counts
2 → 30
Calls

2 calls:

161.0ms
(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
120.0ms
(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
Compiler

Compiled 846 to 743 computations (12.2% saved)

simplify84.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050452346

prune139.0ms (2.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1331134
Fresh123
Picked011
Done000
Total1344138
Error
0b
Counts
138 → 4
Compiler

Compiled 2041 to 1557 computations (23.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 y (-.f64 x y))
5.9b
(*.f64 (*.f64 x 2) (/.f64 y (-.f64 x y)))

rewrite90.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
35×add-sqr-sqrt_binary64_17150 *-un-lft-identity_binary64_17128
30×times-frac_binary64_17134
21×add-cube-cbrt_binary64_17163 associate-*r*_binary64_17068
16×add-exp-log_binary64_17166 add-cbrt-cube_binary64_17164
7×pow1_binary64_17189 difference-of-squares_binary64_17097 distribute-lft-out--_binary64_17080
6×prod-exp_binary64_17177 cbrt-unprod_binary64_17161
5×associate-/r*_binary64_17072
4×associate-/r/_binary64_17074
3×pow-prod-down_binary64_17199 div-exp_binary64_17179 cbrt-undiv_binary64_17162 associate-/l*_binary64_17073
2×add-log-exp_binary64_17167 div-inv_binary64_17125 flip3--_binary64_17132 flip--_binary64_17103
1×associate-*r/_binary64_17070 associate-*l*_binary64_17069 *-commutative_binary64_17059 frac-2neg_binary64_17139 clear-num_binary64_17127
Counts
2 → 78
Calls

2 calls:

11.0ms
(*.f64 (*.f64 x 2) (/.f64 y (-.f64 x y)))
5.0ms
(/.f64 y (-.f64 x y))
Compiler

Compiled 1357 to 488 computations (64% saved)

series226.0ms (3.4%)

Error
0b
Counts
2 → 36
Calls

2 calls:

113.0ms
(*.f64 (*.f64 x 2) (/.f64 y (-.f64 x y)))
80.0ms
(/.f64 y (-.f64 x y))
Compiler

Compiled 1152 to 907 computations (21.3% saved)

simplify55.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
053531655

prune87.0ms (1.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1140114
Fresh022
Picked011
Done011
Total1144118
Error
0b
Counts
118 → 4
Compiler

Compiled 1659 to 652 computations (60.7% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(/.f64 1/4 (*.f64 x x))
0.6b
(/.f64 1 (-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x))))
2.9b
(-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x)))
30.1b
(*.f64 (/.f64 1 (-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x)))) (+.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

rewrite442.0ms (6.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
109×add-sqr-sqrt_binary64_17150
100×times-frac_binary64_17134
63×*-un-lft-identity_binary64_17128
38×add-cube-cbrt_binary64_17163
34×associate-*l*_binary64_17069
32×difference-of-squares_binary64_17097
22×add-exp-log_binary64_17166 div-inv_binary64_17125
16×add-cbrt-cube_binary64_17164 distribute-lft-out--_binary64_17080
10×associate-/r*_binary64_17072
8×associate-*r*_binary64_17068
7×pow1_binary64_17189 cancel-sign-sub-inv_binary64_17094
6×div-exp_binary64_17179 add-log-exp_binary64_17167 associate-/r/_binary64_17074 associate-/l*_binary64_17073
5×prod-exp_binary64_17177 distribute-lft-out_binary64_17079
4×cbrt-undiv_binary64_17162
3×cbrt-unprod_binary64_17161 frac-times_binary64_17138 unswap-sqr_binary64_17096 associate-*r/_binary64_17070 frac-sub_binary64_17137 flip3--_binary64_17132 flip--_binary64_17103
2×1-exp_binary64_17172 rec-exp_binary64_17178 frac-add_binary64_17136 flip3-+_binary64_17131 flip-+_binary64_17102 frac-2neg_binary64_17139 clear-num_binary64_17127
1×pow-prod-down_binary64_17199 distribute-rgt-in_binary64_17078 distribute-lft-in_binary64_17077 associate-*l/_binary64_17071 *-commutative_binary64_17059 diff-log_binary64_17220 sub-neg_binary64_17121 inv-pow_binary64_17213 pow-flip_binary64_17202
Counts
4 → 173
Calls

4 calls:

36.0ms
(*.f64 (/.f64 1 (-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x)))) (+.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
12.0ms
(/.f64 1 (-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x))))
10.0ms
(-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x)))
5.0ms
(/.f64 1/4 (*.f64 x x))
Compiler

Compiled 5712 to 3774 computations (33.9% saved)

series684.0ms (10.2%)

Error
0b
Counts
4 → 45
Calls

4 calls:

253.0ms
(-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x)))
181.0ms
(/.f64 1 (-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x))))
159.0ms
(*.f64 (/.f64 1 (-.f64 (/.f64 1/4 (*.f64 y y)) (/.f64 1/4 (*.f64 x x)))) (+.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
41.0ms
(/.f64 1/4 (*.f64 x x))
Compiler

Compiled 2064 to 1752 computations (15.1% saved)

simplify71.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
218 → 218
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
050374907

prune364.0ms (5.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2180218
Fresh011
Picked011
Done022
Total2184222
Error
0b
Counts
222 → 4
Compiler

Compiled 5712 to 3711 computations (35% saved)

regimes161.0ms (2.4%)

Accuracy

Total 0.2b remaining (99.5%)

Threshold costs 0.2b (99.5%)

Compiler

Compiled 1377 to 1007 computations (26.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02613
12613

end0.0ms (0%)

sample2.9s (43.2%)

Algorithm
1×intervals
Results
215.0ms8000×body128valid
Compiler

Compiled 80479 to 80350 computations (0.2% saved)

Profiling

Loading profile data...