Details

Time bar (total: 2.4s)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2
Compiler

Compiled 8 to 6 computations (25% saved)

sample13.0ms (0.6%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 15 to 12 computations (20% saved)

simplify158.0ms (6.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0810
1810

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 15.6b

Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

15.6b
(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite9.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_1805 add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783 times-frac_binary64_1789
3×add-cbrt-cube_binary64_1819 associate-/l*_binary64_1728 add-exp-log_binary64_1821 associate-/r*_binary64_1727
2×associate-/r/_binary64_1729
1×flip-+_binary64_1757 div-inv_binary64_1780 cbrt-undiv_binary64_1817 frac-2neg_binary64_1794 div-exp_binary64_1834 flip3-+_binary64_1786 clear-num_binary64_1782 add-log-exp_binary64_1822 pow1_binary64_1844
Counts
1 → 29
Calls

1 calls:

7.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))

series56.0ms (2.3%)

Counts
1 → 3
Calls

1 calls:

55.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))

simplify59.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05174550

prune38.0ms (1.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New29332
Fresh000
Picked101
Done000
Total30333

Merged error: 0b

Counts
33 → 3
Compiler

Compiled 494 to 276 computations (44.1% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5)))
0.2b
(/.f64 1 (pow.f64 x 5))
0.2b
(pow.f64 (/.f64 1 x) 3)
18.4b
(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5))) (pow.f64 (/.f64 1 x) 3))

rewrite104.0ms (4.4%)

Algorithm
1×rewrite-expression-head
Rules
74×*-un-lft-identity_binary64_1783
69×add-sqr-sqrt_binary64_1805
67×times-frac_binary64_1789
52×add-cube-cbrt_binary64_1818
41×unpow-prod-down_binary64_1862
32×cancel-sign-sub-inv_binary64_1749
29×cube-prod_binary64_1811
18×add-exp-log_binary64_1821
13×div-inv_binary64_1780
11×distribute-lft-out_binary64_1734 add-log-exp_binary64_1822
9×add-cbrt-cube_binary64_1819
8×difference-of-squares_binary64_1752 div-exp_binary64_1834
7×sqr-pow_binary64_1755 associate-/r*_binary64_1727 pow-exp_binary64_1851
6×pow1_binary64_1844
5×distribute-lft-out--_binary64_1735
4×1-exp_binary64_1827 cube-div_binary64_1812 pow-to-exp_binary64_1852 rec-exp_binary64_1833
3×associate-/l*_binary64_1728 pow-unpow_binary64_1860 frac-sub_binary64_1792 pow-pow_binary64_1855
2×inv-pow_binary64_1868 rem-cube-cbrt_binary64_1806 cube-mult_binary64_1813 frac-add_binary64_1791 flip-+_binary64_1757 unpow3_binary64_1849 pow-flip_binary64_1857 diff-log_binary64_1875 cbrt-undiv_binary64_1817 sum-log_binary64_1874 flip3-+_binary64_1786
1×flip3--_binary64_1787 +-commutative_binary64_1713 frac-2neg_binary64_1794 clear-num_binary64_1782 associate--l+_binary64_1720 flip--_binary64_1758 sub-neg_binary64_1776
Counts
4 → 183
Calls

4 calls:

48.0ms
(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5))) (pow.f64 (/.f64 1 x) 3))
26.0ms
(+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5)))
6.0ms
(pow.f64 (/.f64 1 x) 3)
5.0ms
(/.f64 1 (pow.f64 x 5))

series234.0ms (9.9%)

Counts
4 → 12
Calls

4 calls:

99.0ms
(+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5)))
55.0ms
(/.f64 1 (pow.f64 x 5))
43.0ms
(pow.f64 (/.f64 1 x) 3)
37.0ms
(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 5))) (pow.f64 (/.f64 1 x) 3))

simplify97.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
195 → 195
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
048472892
148472892

prune239.0ms (10.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1950195
Fresh022
Picked011
Done000
Total1953198

Merged error: 0b

Counts
198 → 3
Compiler

Compiled 3871 to 3075 computations (20.6% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

19.4b
(-.f64 (+.f64 x (pow.f64 x 5)) (pow.f64 x 3))

rewrite15.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
12×cancel-sign-sub-inv_binary64_1749
11×add-sqr-sqrt_binary64_1805
9×*-un-lft-identity_binary64_1783
6×add-log-exp_binary64_1822
4×difference-of-squares_binary64_1752 add-cube-cbrt_binary64_1818 unpow-prod-down_binary64_1862 cube-prod_binary64_1811
2×sqr-pow_binary64_1755 distribute-lft-out--_binary64_1735 diff-log_binary64_1875
1×flip3--_binary64_1787 add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821 cube-mult_binary64_1813 distribute-lft-out_binary64_1734 unpow3_binary64_1849 sum-log_binary64_1874 associate--l+_binary64_1720 flip--_binary64_1758 sub-neg_binary64_1776 pow1_binary64_1844
Counts
1 → 31
Calls

1 calls:

13.0ms
(-.f64 (+.f64 x (pow.f64 x 5)) (pow.f64 x 3))

series45.0ms (1.9%)

Counts
1 → 3
Calls

1 calls:

45.0ms
(-.f64 (+.f64 x (pow.f64 x 5)) (pow.f64 x 3))

simplify79.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04834517
14834517

prune27.0ms (1.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New34034
Fresh011
Picked011
Done011
Total34337

Merged error: 0b

Counts
37 → 3
Compiler

Compiled 475 to 331 computations (30.3% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.1b
(pow.f64 (/.f64 x (+.f64 (*.f64 x x) 1)) 3)
15.6b
(/.f64 x (+.f64 (*.f64 x x) 1))
38.4b
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 (*.f64 x x) 1)) 3))

rewrite37.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
45×times-frac_binary64_1789
41×add-sqr-sqrt_binary64_1805 add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
36×cbrt-prod_binary64_1814
30×unpow-prod-down_binary64_1862 cube-prod_binary64_1811
10×associate-/r/_binary64_1729
8×add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
5×flip-+_binary64_1757 div-inv_binary64_1780 flip3-+_binary64_1786
4×pow1_binary64_1844
3×associate-/l*_binary64_1728 pow-unpow_binary64_1860 associate-/r*_binary64_1727 add-log-exp_binary64_1822
2×sqr-pow_binary64_1755 rem-cube-cbrt_binary64_1806 cube-mult_binary64_1813 unpow3_binary64_1849 cbrt-undiv_binary64_1817 div-exp_binary64_1834 cube-div_binary64_1812 pow-exp_binary64_1851
1×rem-cbrt-cube_binary64_1807 cbrt-div_binary64_1815 frac-2neg_binary64_1794 pow-pow_binary64_1855 pow1/3_binary64_1865 clear-num_binary64_1782 pow-to-exp_binary64_1852
Counts
3 → 125
Calls

3 calls:

9.0ms
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 (*.f64 x x) 1)) 3))
9.0ms
(pow.f64 (/.f64 x (+.f64 (*.f64 x x) 1)) 3)
7.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))

series181.0ms (7.7%)

Counts
3 → 9
Calls

3 calls:

71.0ms
(pow.f64 (/.f64 x (+.f64 (*.f64 x x) 1)) 3)
62.0ms
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 (*.f64 x x) 1)) 3))
48.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))

simplify54.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
049872554
149872554

prune109.0ms (4.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1340134
Fresh000
Picked011
Done022
Total1343137

Merged error: 0b

Counts
137 → 3
Compiler

Compiled 2187 to 1333 computations (39% saved)

regimes115.0ms (4.9%)

Compiler

Compiled 671 to 457 computations (31.9% saved)

bsearch24.0ms (1%)

Steps
ItersRangePoint
6
333.4255350633334
4469.964205554979
1255.9074466892846
8
-1599884668.1980696
-1001222.1394306726
-1577696110.013218
Compiler

Compiled 1 to 1 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03646
13646

end0.0ms (0%)

sample639.0ms (27%)

Algorithm
1×intervals
Results
193.0ms8000×body128valid
Compiler

Compiled 332 to 231 computations (30.4% saved)

Profiling

Loading profile data...