Details

Time bar (total: 4.2s)

analyze8.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 12 to 10 computations (16.7% saved)

sample32.0ms (0.8%)

Algorithm
1×intervals
Results
15.0ms256×body128valid
Compiler

Compiled 23 to 20 computations (13% saved)

simplify296.0ms (7.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01416
11416

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 22 to 18 computations (18.2% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 1 (-.f64 x 1))
0.0b
(/.f64 x (+.f64 x 1))
0.0b
(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))

rewrite98.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Rules
67×*-un-lft-identity_binary64_1762
41×times-frac_binary64_1768
40×add-sqr-sqrt_binary64_1783
24×add-cube-cbrt_binary64_1794
12×distribute-lft-out_binary64_1715
11×associate-/r*_binary64_1708
9×add-exp-log_binary64_1797
8×difference-of-squares_binary64_1731
7×add-cbrt-cube_binary64_1795
6×distribute-lft-out--_binary64_1716 associate-/l*_binary64_1709
5×add-log-exp_binary64_1798
4×associate-/r/_binary64_1710 difference-of-sqr-1_binary64_1732 pow1_binary64_1820
3×div-inv_binary64_1759 div-exp_binary64_1810
2×frac-2neg_binary64_1773 flip3-+_binary64_1765 clear-num_binary64_1761 flip-+_binary64_1736 cbrt-undiv_binary64_1793
1×flip3--_binary64_1766 inv-pow_binary64_1844 +-commutative_binary64_1694 pow-flip_binary64_1833 flip--_binary64_1737 frac-add_binary64_1770 1-exp_binary64_1803 rec-exp_binary64_1809 sum-log_binary64_1850
Counts
3 → 100
Calls

3 calls:

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

series203.0ms (4.9%)

Counts
3 → 9
Calls

3 calls:

123.0ms
(+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 x 1)))
46.0ms
(/.f64 x (+.f64 x 1))
34.0ms
(/.f64 1 (-.f64 x 1))

simplify124.0ms (3%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
050761579

prune195.0ms (4.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1081109
Fresh000
Picked011
Done000
Total1082110

Merged error: 0b

Counts
110 → 2
Compiler

Compiled 1891 to 1389 computations (26.5% saved)

localize22.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))) (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))))
0.0b
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))
0.0b
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))
0.0b
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))

rewrite382.0ms (9.2%)

Algorithm
1×rewrite-expression-head
Rules
312×*-un-lft-identity_binary64_1762
104×times-frac_binary64_1768
103×cbrt-prod_binary64_1790
100×distribute-lft-out_binary64_1715
33×cbrt-div_binary64_1791
30×swap-sqr_binary64_1729
26×distribute-lft-out--_binary64_1716
23×add-sqr-sqrt_binary64_1783
15×add-cube-cbrt_binary64_1794
12×associate-*l*_binary64_1705 associate-*r*_binary64_1704
11×flip3-+_binary64_1765 flip-+_binary64_1736 div-inv_binary64_1759 frac-add_binary64_1770 pow1_binary64_1820
9×frac-times_binary64_1772 pow1/3_binary64_1841
6×add-exp-log_binary64_1797
4×unswap-sqr_binary64_1730 add-log-exp_binary64_1798 add-cbrt-cube_binary64_1795
3×associate-*l/_binary64_1707 associate-*r/_binary64_1706
2×pow-sqr_binary64_1735 pow-prod-down_binary64_1830 pow-prod-up_binary64_1829
1×prod-exp_binary64_1808 pow-plus_binary64_1822 cbrt-unprod_binary64_1792 *-commutative_binary64_1695 pow2_binary64_1840
Counts
4 → 151
Calls

4 calls:

141.0ms
(*.f64 (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))) (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))))
65.0ms
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))
60.0ms
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))
59.0ms
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))

series1.0s (24.9%)

Counts
4 → 12
Calls

4 calls:

309.0ms
(*.f64 (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))) (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))))
256.0ms
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))
243.0ms
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))
230.0ms
(cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x))))

simplify172.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
049295075
149295075

prune737.0ms (17.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1630163
Fresh000
Picked011
Done011
Total1632165

Merged error: 0b

Counts
165 → 2
Compiler

Compiled 7136 to 5562 computations (22.1% saved)

regimes38.0ms (0.9%)

Compiler

Compiled 122 to 98 computations (19.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02016
12016

end0.0ms (0%)

sample808.0ms (19.4%)

Algorithm
1×intervals
Results
466.0ms8000×body128valid
Compiler

Compiled 72 to 59 computations (18.1% saved)

Profiling

Loading profile data...