Details

Time bar (total: 3.0s)

analyze124.0ms (4.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02110
12110
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
75%12.5%12.5%5
75%6.2%18.8%6
75%3.1%21.9%7
75%1.6%23.5%8
75%0.8%24.3%9
75%0.4%24.6%10
75%0.2%24.8%11
75%0.1%24.9%12
75%0%25%13
75%0%25%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample21.0ms (0.7%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify13.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
02110
12110

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.1b
(/.f64 (-.f64 (*.f64 x x) 3) 6)

rewrite63.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
14×add-sqr-sqrt_binary64_1805
12×times-frac_binary64_1789
10×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
4×difference-of-squares_binary64_1752 associate-/l*_binary64_1728
3×add-exp-log_binary64_1821 add-cbrt-cube_binary64_1819 associate-/r*_binary64_1727
2×associate-/l/_binary64_1730
1×pow1_binary64_1844 div-exp_binary64_1834 add-log-exp_binary64_1822 cbrt-undiv_binary64_1817 frac-2neg_binary64_1794 div-sub_binary64_1788 clear-num_binary64_1782 div-inv_binary64_1780 flip3--_binary64_1787 flip--_binary64_1758
Counts
1 → 34
Calls

1 calls:

13.0ms
(/.f64 (-.f64 (*.f64 x x) 3) 6)
Compiler

Compiled 535 to 366 computations (31.6% saved)

series57.0ms (1.9%)

Error
0.1b
Counts
1 → 6
Calls

1 calls:

52.0ms
(/.f64 (-.f64 (*.f64 x x) 3) 6)
Compiler

Compiled 85 to 82 computations (3.5% saved)

simplify67.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04883617
14883617

prune44.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New36440
Fresh000
Picked101
Done000
Total37441
Error
0b
Counts
41 → 4
Compiler

Compiled 562 to 387 computations (31.1% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b
(*.f64 1/6 (*.f64 x x))

rewrite22.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×pow1_binary64_1844 add-exp-log_binary64_1821 add-cbrt-cube_binary64_1819
3×pow-prod-down_binary64_1854 prod-exp_binary64_1832 cbrt-unprod_binary64_1816 add-sqr-sqrt_binary64_1805 associate-*l*_binary64_1724
2×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
1×add-log-exp_binary64_1822 unswap-sqr_binary64_1751 associate-*r*_binary64_1723 *-commutative_binary64_1714
Counts
1 → 19
Calls

1 calls:

6.0ms
(*.f64 1/6 (*.f64 x x))
Compiler

Compiled 231 to 151 computations (34.6% saved)

series38.0ms (1.3%)

Error
0b
Counts
1 → 3
Calls

1 calls:

36.0ms
(*.f64 1/6 (*.f64 x x))
Compiler

Compiled 63 to 61 computations (3.2% saved)

simplify107.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
05390180

prune31.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New21122
Fresh123
Picked011
Done000
Total22426
Error
0b
Counts
26 → 4
Compiler

Compiled 248 to 178 computations (28.2% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 6 (-.f64 (*.f64 x x) 3))
0.1b
(/.f64 1 (/.f64 6 (-.f64 (*.f64 x x) 3)))

rewrite206.0ms (6.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
114×times-frac_binary64_1789
78×add-sqr-sqrt_binary64_1805
62×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
22×associate-/r*_binary64_1727
16×difference-of-squares_binary64_1752
15×add-exp-log_binary64_1821
11×associate-/r/_binary64_1729
9×add-cbrt-cube_binary64_1819
8×div-exp_binary64_1834
6×div-inv_binary64_1780 associate-/l*_binary64_1728
5×flip3--_binary64_1787 flip--_binary64_1758
4×cbrt-undiv_binary64_1817
3×pow1_binary64_1844
2×1-exp_binary64_1827 rec-exp_binary64_1833 add-log-exp_binary64_1822 frac-2neg_binary64_1794 clear-num_binary64_1782
1×inv-pow_binary64_1868 pow-flip_binary64_1857
Counts
2 → 129
Calls

2 calls:

10.0ms
(/.f64 1 (/.f64 6 (-.f64 (*.f64 x x) 3)))
6.0ms
(/.f64 6 (-.f64 (*.f64 x x) 3))
Compiler

Compiled 2655 to 1974 computations (25.6% saved)

series89.0ms (3%)

Error
0b
Counts
2 → 14
Calls

2 calls:

44.0ms
(/.f64 1 (/.f64 6 (-.f64 (*.f64 x x) 3)))
34.0ms
(/.f64 6 (-.f64 (*.f64 x x) 3))
Compiler

Compiled 333 to 310 computations (6.9% saved)

simplify101.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
048912820
148912820

prune156.0ms (5.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1430143
Fresh022
Picked011
Done011
Total1434147
Error
0b
Counts
147 → 4
Compiler

Compiled 2357 to 1718 computations (27.1% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 x (sqrt.f64 1/6))
0.0b
(*.f64 x (sqrt.f64 1/6))
0.4b
(*.f64 (*.f64 x (sqrt.f64 1/6)) (*.f64 x (sqrt.f64 1/6)))

rewrite122.0ms (4.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
46×pow1_binary64_1844
19×pow-prod-down_binary64_1854 add-exp-log_binary64_1821 add-cbrt-cube_binary64_1819
17×add-sqr-sqrt_binary64_1805
13×associate-*r*_binary64_1723
10×prod-exp_binary64_1832 cbrt-unprod_binary64_1816
9×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
8×sqrt-prod_binary64_1799
7×associate-*l*_binary64_1724
4×pow-prod-up_binary64_1853 pow-sqr_binary64_1756 unswap-sqr_binary64_1751
3×add-log-exp_binary64_1822 *-commutative_binary64_1714
2×pow-plus_binary64_1846
1×pow2_binary64_1864 swap-sqr_binary64_1750
Counts
3 → 78
Calls

3 calls:

9.0ms
(*.f64 (*.f64 x (sqrt.f64 1/6)) (*.f64 x (sqrt.f64 1/6)))
5.0ms
(*.f64 x (sqrt.f64 1/6))
5.0ms
(*.f64 x (sqrt.f64 1/6))
Compiler

Compiled 1253 to 1026 computations (18.1% saved)

series137.0ms (4.6%)

Error
0b
Counts
3 → 9
Calls

3 calls:

55.0ms
(*.f64 (*.f64 x (sqrt.f64 1/6)) (*.f64 x (sqrt.f64 1/6)))
39.0ms
(*.f64 x (sqrt.f64 1/6))
35.0ms
(*.f64 x (sqrt.f64 1/6))
Compiler

Compiled 288 to 262 computations (9% saved)

simplify72.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
05012633

prune81.0ms (2.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New87087
Fresh011
Picked011
Done022
Total87491
Error
0b
Counts
91 → 4
Compiler

Compiled 1072 to 862 computations (19.6% saved)

regimes287.0ms (9.7%)

Accuracy

Total 0.1b remaining (99.3%)

Threshold costs 0.1b (99.3%)

Compiler

Compiled 2320 to 1884 computations (18.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01810
11810

end0.0ms (0%)

sample1.1s (37.2%)

Algorithm
1×intervals
Results
230.0ms8000×body128valid
Compiler

Compiled 490 to 403 computations (17.8% saved)

Profiling

Loading profile data...