Details

Time bar (total: 3.1s)

analyze355.0ms (11.3%)

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)

sample15.0ms (0.5%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify138.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (133.0ms)

IterNodesCost
0485313
1485313

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 18 to 14 computations (22.2% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite41.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777
7×add-sqr-sqrt_binary64_14763 *-un-lft-identity_binary64_14741
5×times-frac_binary64_14747 associate-/r*_binary64_14685
3×prod-exp_binary64_14790 div-exp_binary64_14792 add-cube-cbrt_binary64_14776 cbrt-undiv_binary64_14775 cbrt-unprod_binary64_14774
2×difference-of-squares_binary64_14710 distribute-lft-out--_binary64_14693 associate-/r/_binary64_14687
1×pow1_binary64_14802 add-log-exp_binary64_14780 frac-2neg_binary64_14752 clear-num_binary64_14740 div-inv_binary64_14738 flip3--_binary64_14745 flip--_binary64_14716 associate-/l*_binary64_14686
Counts
1 → 29
Calls

1 calls:

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

Compiled 488 to 232 computations (52.5% saved)

series123.0ms (3.9%)

Error
0.5b
Counts
1 → 24
Calls

1 calls:

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

Compiled 810 to 668 computations (17.5% saved)

simplify52.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
04987925
14987925

prune45.0ms (1.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New50353
Fresh000
Picked101
Done000
Total51354
Error
0b
Counts
54 → 3
Compiler

Compiled 744 to 369 computations (50.4% saved)

localize6.0ms (0.2%)

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)))

rewrite157.0ms (5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
96×add-sqr-sqrt_binary64_14763
95×times-frac_binary64_14747
76×*-un-lft-identity_binary64_14741
36×add-cube-cbrt_binary64_14776
25×distribute-lft-out--_binary64_14693
20×difference-of-squares_binary64_14710
13×cancel-sign-sub-inv_binary64_14707
12×div-inv_binary64_14738 associate-/r*_binary64_14685
6×add-exp-log_binary64_14779
4×add-log-exp_binary64_14780 add-cbrt-cube_binary64_14777
3×pow1_binary64_14802 associate-/r/_binary64_14687 associate-/l*_binary64_14686
2×div-exp_binary64_14792 frac-sub_binary64_14750 flip3--_binary64_14745 flip--_binary64_14716
1×inv-pow_binary64_14826 pow-flip_binary64_14815 1-exp_binary64_14785 rec-exp_binary64_14791 cbrt-undiv_binary64_14775 frac-2neg_binary64_14752 clear-num_binary64_14740 diff-log_binary64_14833 sub-neg_binary64_14734
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)

series247.0ms (7.9%)

Error
0b
Counts
2 → 36
Calls

2 calls:

109.0ms
(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
107.0ms
(/.f64 1 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
Compiler

Compiled 1104 to 950 computations (13.9% saved)

simplify73.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
050352526

prune123.0ms (3.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1400140
Fresh022
Picked011
Done000
Total1403143
Error
0b
Counts
143 → 3
Compiler

Compiled 2140 to 1601 computations (25.2% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite87.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
64×times-frac_binary64_14747
50×add-sqr-sqrt_binary64_14763 *-un-lft-identity_binary64_14741
30×add-cube-cbrt_binary64_14776
22×associate-/r*_binary64_14685
16×add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777
10×difference-of-squares_binary64_14710 distribute-lft-out--_binary64_14693
7×div-exp_binary64_14792 cbrt-undiv_binary64_14775
6×associate-/l*_binary64_14686
4×div-inv_binary64_14738
2×pow1_binary64_14802 prod-exp_binary64_14790 add-log-exp_binary64_14780 cbrt-unprod_binary64_14774 frac-2neg_binary64_14752 clear-num_binary64_14740 associate-/l/_binary64_14688
1×associate-/r/_binary64_14687 div-sub_binary64_14746 flip3--_binary64_14745 flip--_binary64_14716
Counts
2 → 96
Calls

2 calls:

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

Compiled 1678 to 580 computations (65.4% saved)

series209.0ms (6.7%)

Error
0b
Counts
2 → 36
Calls

2 calls:

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

Compiled 1044 to 852 computations (18.4% saved)

simplify85.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049512106
149512106

prune86.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1320132
Fresh011
Picked011
Done011
Total1323135
Error
0b
Counts
135 → 3
Compiler

Compiled 1905 to 785 computations (58.8% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 y (/.f64 (*.f64 y y) x))
7.4b
(/.f64 (*.f64 y y) x)

rewrite34.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777
6×*-un-lft-identity_binary64_14741
4×add-log-exp_binary64_14780 add-cube-cbrt_binary64_14776 add-sqr-sqrt_binary64_14763
3×times-frac_binary64_14747 associate-/r*_binary64_14685
2×pow1_binary64_14802 div-exp_binary64_14792 cbrt-undiv_binary64_14775
1×prod-exp_binary64_14790 cbrt-unprod_binary64_14774 frac-2neg_binary64_14752 clear-num_binary64_14740 div-inv_binary64_14738 associate-/l*_binary64_14686 sum-log_binary64_14832 flip3-+_binary64_14744 flip-+_binary64_14715 distribute-lft-out_binary64_14692 +-commutative_binary64_14671
Counts
2 → 33
Calls

2 calls:

5.0ms
(+.f64 y (/.f64 (*.f64 y y) x))
4.0ms
(/.f64 (*.f64 y y) x)
Compiler

Compiled 509 to 190 computations (62.7% saved)

series161.0ms (5.1%)

Error
0b
Counts
2 → 18
Calls

2 calls:

84.0ms
(+.f64 y (/.f64 (*.f64 y y) x))
67.0ms
(/.f64 (*.f64 y y) x)
Compiler

Compiled 384 to 320 computations (16.7% saved)

simplify91.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
04928509
14928509

prune27.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New51051
Fresh000
Picked011
Done022
Total51354
Error
0b
Counts
54 → 3
Compiler

Compiled 583 to 211 computations (63.8% saved)

regimes135.0ms (4.3%)

Accuracy

Total 0.2b remaining (99.4%)

Threshold costs 0.2b (99.4%)

Compiler

Compiled 1217 to 896 computations (26.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02613
12613

end0.0ms (0%)

sample820.0ms (26.2%)

Algorithm
1×intervals
Results
222.0ms8000×body128valid
Compiler

Compiled 412 to 304 computations (26.2% saved)

Profiling

Loading profile data...