Details

Time bar (total: 4.1s)

analyze184.0ms (4.5%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0492034
1492034
022
122
Search
TrueOtherFalseIter
0%6.2%93.8%0
0%6.2%93.8%1
0%6.2%93.8%2
1.6%3.1%95.3%3
1.6%3.1%95.3%4
2.3%1.6%96.1%5
2.3%1.6%96.1%6
2.7%0.8%96.5%7
2.7%0.8%96.5%8
2.9%0.4%96.7%9
2.9%0.4%96.7%10
3%0.2%96.8%11
3%0.2%96.8%12
3.1%0.1%96.8%13
3.1%0.1%96.8%14
Compiler

Compiled 18 to 11 computations (38.9% saved)

sample25.0ms (0.6%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
5.0ms256×pre128true
0.0ms3×pre128false
Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify75.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
0483617
1483617

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
15.6b
Counts
2 → 1
Compiler

Compiled 22 to 18 computations (18.2% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(sqrt.f64 (fabs.f64 (-.f64 1 (/.f64 (*.f64 b b) (*.f64 a a)))))
31.1b
(/.f64 (*.f64 b b) (*.f64 a a))

rewrite45.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
14×add-exp-log_binary64_1821 add-cbrt-cube_binary64_1819
4×prod-exp_binary64_1832 div-exp_binary64_1834 cbrt-undiv_binary64_1817 cbrt-unprod_binary64_1816 add-sqr-sqrt_binary64_1805
3×pow1_binary64_1844 add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783 sqrt-prod_binary64_1799
2×add-log-exp_binary64_1822
1×frac-2neg_binary64_1794 times-frac_binary64_1789 clear-num_binary64_1782 div-inv_binary64_1780 associate-/l*_binary64_1728 associate-/r*_binary64_1727 pow1/2_binary64_1863 sqrt-pow1_binary64_1801 rem-sqrt-square_binary64_1796
Counts
2 → 34
Calls

2 calls:

11.0ms
(/.f64 (*.f64 b b) (*.f64 a a))
1.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (/.f64 (*.f64 b b) (*.f64 a a)))))
Compiler

Compiled 640 to 268 computations (58.1% saved)

series164.0ms (4%)

Error
15.6b
Counts
2 → 12
Calls

2 calls:

90.0ms
(/.f64 (*.f64 b b) (*.f64 a a))
66.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (/.f64 (*.f64 b b) (*.f64 a a)))))
Compiler

Compiled 396 to 374 computations (5.6% saved)

simplify90.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
04903515
14903515

prune38.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New44246
Fresh000
Picked101
Done000
Total45247
Error
0.0b
Counts
47 → 2
Compiler

Compiled 579 to 378 computations (34.7% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(sqrt.f64 (fabs.f64 (-.f64 1 (log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2))))))
0.4b
(pow.f64 (/.f64 b a) 2)
7.7b
(log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2)))

rewrite100.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
26×unpow-prod-down_binary64_1862
22×add-sqr-sqrt_binary64_1805
21×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
19×log-pow_binary64_1872
18×exp-prod_binary64_1835 times-frac_binary64_1789
6×pow1_binary64_1844 add-exp-log_binary64_1821
3×log-prod_binary64_1869 add-log-exp_binary64_1822 add-cbrt-cube_binary64_1819 pow-unpow_binary64_1860 sqrt-prod_binary64_1799
2×div-inv_binary64_1780 unpow2_binary64_1848 sqr-pow_binary64_1755 pow-exp_binary64_1851
1×rem-log-exp_binary64_1824 pow-pow_binary64_1855 pow-to-exp_binary64_1852 div-exp_binary64_1834 pow1/2_binary64_1863 sqrt-pow1_binary64_1801 rem-sqrt-square_binary64_1796
Counts
3 → 72
Calls

3 calls:

7.0ms
(log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2)))
5.0ms
(pow.f64 (/.f64 b a) 2)
1.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2))))))
Compiler

Compiled 1364 to 943 computations (30.9% saved)

series363.0ms (8.9%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

206.0ms
(log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2)))
76.0ms
(pow.f64 (/.f64 b a) 2)
67.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2))))))
Compiler

Compiled 630 to 588 computations (6.7% saved)

simplify60.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05039948

prune81.0ms (2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New89190
Fresh011
Picked011
Done000
Total89392
Error
0b
Counts
92 → 3
Compiler

Compiled 1291 to 856 computations (33.7% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(pow.f64 (cbrt.f64 (/.f64 b a)) 2)
0.6b
(cbrt.f64 (/.f64 b a))
0.6b
(cbrt.f64 (/.f64 b a))
0.8b
(pow.f64 (cbrt.f64 (/.f64 b a)) 4)

rewrite146.0ms (3.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
52×cbrt-prod_binary64_1814
36×add-cube-cbrt_binary64_1818 add-sqr-sqrt_binary64_1805 times-frac_binary64_1789 *-un-lft-identity_binary64_1783
32×unpow-prod-down_binary64_1862
6×pow-unpow_binary64_1860 pow1_binary64_1844 add-exp-log_binary64_1821
4×div-inv_binary64_1780 pow1/3_binary64_1865 pow-pow_binary64_1855 add-log-exp_binary64_1822 add-cbrt-cube_binary64_1819
2×pow-to-exp_binary64_1852 pow-exp_binary64_1851 sqr-pow_binary64_1755 cbrt-div_binary64_1815
1×unpow2_binary64_1848
Counts
4 → 107
Calls

4 calls:

6.0ms
(pow.f64 (cbrt.f64 (/.f64 b a)) 4)
5.0ms
(pow.f64 (cbrt.f64 (/.f64 b a)) 2)
2.0ms
(cbrt.f64 (/.f64 b a))
2.0ms
(cbrt.f64 (/.f64 b a))
Compiler

Compiled 2620 to 1332 computations (49.2% saved)

series999.0ms (24.4%)

Error
0b
Counts
4 → 24
Calls

4 calls:

332.0ms
(pow.f64 (cbrt.f64 (/.f64 b a)) 4)
240.0ms
(pow.f64 (cbrt.f64 (/.f64 b a)) 2)
204.0ms
(cbrt.f64 (/.f64 b a))
189.0ms
(cbrt.f64 (/.f64 b a))
Compiler

Compiled 1776 to 1519 computations (14.5% saved)

simplify73.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049311695
149311695

prune142.0ms (3.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1310131
Fresh011
Picked011
Done011
Total1313134
Error
0b
Counts
134 → 3
Compiler

Compiled 2851 to 1573 computations (44.8% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(sqrt.f64 (fabs.f64 (-.f64 1 (pow.f64 (/.f64 b a) 2))))
0.4b
(pow.f64 (/.f64 b a) 2)

rewrite47.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
13×unpow-prod-down_binary64_1862
12×add-sqr-sqrt_binary64_1805
11×add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783
9×times-frac_binary64_1789
5×add-exp-log_binary64_1821
4×pow1_binary64_1844
3×pow-unpow_binary64_1860 sqrt-prod_binary64_1799
2×pow-exp_binary64_1851 add-log-exp_binary64_1822 add-cbrt-cube_binary64_1819
1×div-inv_binary64_1780 pow-pow_binary64_1855 pow-to-exp_binary64_1852 div-exp_binary64_1834 unpow2_binary64_1848 sqr-pow_binary64_1755 pow1/2_binary64_1863 sqrt-pow1_binary64_1801 rem-sqrt-square_binary64_1796
Counts
2 → 42
Calls

2 calls:

5.0ms
(pow.f64 (/.f64 b a) 2)
1.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (pow.f64 (/.f64 b a) 2))))
Compiler

Compiled 687 to 467 computations (32% saved)

series149.0ms (3.6%)

Error
0b
Counts
2 → 12
Calls

2 calls:

72.0ms
(pow.f64 (/.f64 b a) 2)
68.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (pow.f64 (/.f64 b a) 2))))
Compiler

Compiled 396 to 374 computations (5.6% saved)

simplify56.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05242651

prune44.0ms (1.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New54054
Fresh000
Picked011
Done022
Total54357
Error
0b
Counts
57 → 3
Compiler

Compiled 684 to 447 computations (34.6% saved)

regimes155.0ms (3.8%)

Accuracy

Total 0.0b remaining (93.5%)

Threshold costs 0.0b (93.5%)

Compiler

Compiled 1386 to 1157 computations (16.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02530
12530

end0.0ms (0%)

sample1.0s (24.8%)

Algorithm
1×intervals
Results
287.0ms8000×body128valid
148.0ms8000×pre128true
2.0ms132×pre128false
Compiler

Compiled 207 to 176 computations (15% saved)

Profiling

Loading profile data...