Details

Time bar (total: 3.3s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%25%25%3
62.5%12.5%25%4
68.7%6.2%25%5
71.8%3.1%25%6
73.4%1.6%25%7
74.2%0.8%25%8
74.6%0.4%25%9
74.8%0.2%25%10
74.9%0.1%25%11
74.9%0%25%12
74.9%0%25%13
74.9%0%25%14
Compiler

Compiled 5 to 5 computations (0% saved)

sample50.0ms (1.5%)

Algorithm
1×intervals
Results
27.0ms83×body1024valid
8.0ms54×body512valid
3.0ms8×body2048valid
2.0ms88×body128valid
2.0ms23×body256valid
Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify92.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
076
176

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 8 to 8 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

4.8b
(log.f64 (+.f64 1 x))

rewrite20.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
41.0b
Rules
4×log-prod_binary64_1869 *-un-lft-identity_binary64_1783
2×pow1_binary64_1844 log-div_binary64_1870 add-cube-cbrt_binary64_1818 add-sqr-sqrt_binary64_1805 add-exp-log_binary64_1821
1×log-pow_binary64_1872 flip3-+_binary64_1786 flip-+_binary64_1757 distribute-lft-out_binary64_1734 rem-log-exp_binary64_1824 add-log-exp_binary64_1822 add-cbrt-cube_binary64_1819
Counts
1 → 15
Calls

1 calls:

3.0ms
(log.f64 (+.f64 1 x))
Compiler

Compiled 152 to 124 computations (18.4% saved)

series37.0ms (1.1%)

Error
0.0b
Counts
1 → 9
Calls

1 calls:

29.0ms
(log.f64 (+.f64 1 x))
Compiler

Compiled 213 to 180 computations (15.5% saved)

simplify69.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05015267

prune21.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New21324
Fresh000
Picked011
Done000
Total21425
Error
0.0b
Counts
25 → 4
Compiler

Compiled 229 to 167 computations (27.1% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 x (*.f64 1/2 (*.f64 x x)))
0.0b
(*.f64 1/2 (*.f64 x x))

rewrite31.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_1844 add-exp-log_binary64_1821 add-cbrt-cube_binary64_1819
4×add-log-exp_binary64_1822 add-sqr-sqrt_binary64_1805
3×pow-prod-down_binary64_1854 prod-exp_binary64_1832 add-cube-cbrt_binary64_1818 cbrt-unprod_binary64_1816 *-un-lft-identity_binary64_1783 associate-*l*_binary64_1724
1×unswap-sqr_binary64_1751 associate-*r*_binary64_1723 *-commutative_binary64_1714 diff-log_binary64_1875 flip3--_binary64_1787 sub-neg_binary64_1776 flip--_binary64_1758 cancel-sign-sub-inv_binary64_1749
Counts
2 → 31
Calls

2 calls:

6.0ms
(*.f64 1/2 (*.f64 x x))
3.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
Compiler

Compiled 418 to 229 computations (45.2% saved)

series77.0ms (2.3%)

Error
0.0b
Counts
2 → 9
Calls

2 calls:

47.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
25.0ms
(*.f64 1/2 (*.f64 x x))
Compiler

Compiled 148 to 122 computations (17.6% saved)

simplify89.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
04747404
14747404

prune25.0ms (0.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New40040
Fresh022
Picked011
Done011
Total40444
Error
0.0b
Counts
44 → 4
Compiler

Compiled 413 to 240 computations (41.9% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(log.f64 (log.f64 (+.f64 x 1)))
0.5b
(exp.f64 (log.f64 (log.f64 (+.f64 x 1))))
4.8b
(log.f64 (+.f64 x 1))

rewrite45.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
12×log-prod_binary64_1869
9×*-un-lft-identity_binary64_1783
8×pow1_binary64_1844
7×add-cube-cbrt_binary64_1818 add-sqr-sqrt_binary64_1805
5×log-pow_binary64_1872 add-exp-log_binary64_1821
4×exp-prod_binary64_1835 exp-sum_binary64_1829
3×add-log-exp_binary64_1822 add-cbrt-cube_binary64_1819
2×log-div_binary64_1870 rem-log-exp_binary64_1824
1×flip3-+_binary64_1786 flip-+_binary64_1757 distribute-lft-out_binary64_1734 rem-exp-log_binary64_1823
Counts
3 → 44
Calls

3 calls:

3.0ms
(log.f64 (+.f64 x 1))
2.0ms
(exp.f64 (log.f64 (log.f64 (+.f64 x 1))))
1.0ms
(log.f64 (log.f64 (+.f64 x 1)))
Compiler

Compiled 536 to 460 computations (14.2% saved)

series184.0ms (5.6%)

Error
0.0b
Counts
3 → 27
Calls

3 calls:

66.0ms
(exp.f64 (log.f64 (log.f64 (+.f64 x 1))))
57.0ms
(log.f64 (log.f64 (+.f64 x 1)))
30.0ms
(log.f64 (+.f64 x 1))
Compiler

Compiled 1121 to 914 computations (18.5% saved)

simplify66.0ms (2%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
06028908

prune53.0ms (1.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New70171
Fresh011
Picked101
Done022
Total71475
Error
0b
Counts
75 → 4
Compiler

Compiled 785 to 564 computations (28.2% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(log.f64 (log.f64 (+.f64 x 1)))
0.6b
(pow.f64 E.f64 (log.f64 (log.f64 (+.f64 x 1))))
4.8b
(log.f64 (+.f64 x 1))

rewrite54.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
12×log-prod_binary64_1869
10×*-un-lft-identity_binary64_1783
9×pow1_binary64_1844
8×add-cube-cbrt_binary64_1818 add-sqr-sqrt_binary64_1805
6×add-exp-log_binary64_1821
5×log-pow_binary64_1872
4×unpow-prod-up_binary64_1861 pow-unpow_binary64_1860
3×add-log-exp_binary64_1822 add-cbrt-cube_binary64_1819 unpow-prod-down_binary64_1862
2×log-div_binary64_1870 rem-log-exp_binary64_1824 pow-exp_binary64_1851
1×flip3-+_binary64_1786 flip-+_binary64_1757 distribute-lft-out_binary64_1734 pow-pow_binary64_1855 pow-to-exp_binary64_1852 e-exp-1_binary64_1828 sqr-pow_binary64_1755
Counts
3 → 51
Calls

3 calls:

3.0ms
(log.f64 (+.f64 x 1))
3.0ms
(pow.f64 E.f64 (log.f64 (log.f64 (+.f64 x 1))))
1.0ms
(log.f64 (log.f64 (+.f64 x 1)))
Compiler

Compiled 690 to 537 computations (22.2% saved)

series199.0ms (6%)

Error
0b
Counts
3 → 27
Calls

3 calls:

86.0ms
(pow.f64 E.f64 (log.f64 (log.f64 (+.f64 x 1))))
53.0ms
(log.f64 (log.f64 (+.f64 x 1)))
31.0ms
(log.f64 (+.f64 x 1))
Compiler

Compiled 1159 to 936 computations (19.2% saved)

simplify62.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
058151081

prune57.0ms (1.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New78078
Fresh011
Picked011
Done022
Total78482
Error
0b
Counts
82 → 4
Compiler

Compiled 920 to 622 computations (32.4% saved)

regimes87.0ms (2.6%)

Accuracy

Total 0.3b remaining (71.5%)

Threshold costs 0.3b (71.5%)

Compiler

Compiled 459 to 410 computations (10.7% saved)

bsearch2.0ms (0.1%)

Compiler

Compiled 3 to 3 computations (0% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04225
14225

end0.0ms (0%)

sample2.0s (59.3%)

Algorithm
1×intervals
Results
843.0ms2630×body1024valid
213.0ms1320×body512valid
125.0ms291×body2048valid
91.0ms3099×body128valid
53.0ms660×body256valid
Compiler

Compiled 166 to 145 computations (12.7% saved)

Profiling

Loading profile data...