Details

Time bar (total: 2.5s)

analyze34.0ms (1.4%)

Algorithm
1×search
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)

sample31.0ms (1.2%)

Algorithm
1×intervals
Results
10.0ms256×pre128true
8.0ms256×body128valid
0.0ms7×pre128false
Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify161.0ms (6.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (69.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
16.3b
Counts
2 → 1
Compiler

Compiled 22 to 18 computations (18.2% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite46.0ms (1.8%)

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:

7.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)

series166.0ms (6.7%)

Error
16.3b
Counts
2 → 12
Calls

2 calls:

87.0ms
(/.f64 (*.f64 b b) (*.f64 a a))
70.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (/.f64 (*.f64 b b) (*.f64 a a)))))
Compiler

Compiled 396 to 374 computations (5.6% saved)

simplify88.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
04903515
14903515

prune38.0ms (1.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 579 to 378 computations (34.7% saved)

localize9.0ms (0.3%)

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)
6.3b
(log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2)))

rewrite97.0ms (3.9%)

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)

series383.0ms (15.4%)

Error
0b
Counts
3 → 18
Calls

3 calls:

223.0ms
(log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2)))
76.0ms
(pow.f64 (/.f64 b a) 2)
70.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 (2.4%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05039948

prune76.0ms (3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New90090
Fresh011
Picked011
Done000
Total90292
Error
0b
Counts
92 → 2
Compiler

Compiled 1274 to 843 computations (33.8% saved)

localize6.0ms (0.3%)

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.9%)

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:

6.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)

series153.0ms (6.1%)

Error
0b
Counts
2 → 12
Calls

2 calls:

77.0ms
(pow.f64 (/.f64 b a) 2)
67.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (pow.f64 (/.f64 b a) 2))))
Compiler

Compiled 396 to 374 computations (5.6% saved)

simplify54.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05242651

prune42.0ms (1.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New54054
Fresh000
Picked011
Done011
Total54256
Error
0b
Counts
56 → 2
Compiler

Compiled 684 to 447 computations (34.6% saved)

regimes105.0ms (4.2%)

Accuracy

Total 0.0b remaining (73.4%)

Threshold costs 0.0b (73.4%)

Compiler

Compiled 765 to 603 computations (21.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02218
12218

end0.0ms (0%)

sample883.0ms (35.5%)

Algorithm
1×intervals
Results
277.0ms8000×body128valid
151.0ms8000×pre128true
2.0ms118×pre128false
Compiler

Compiled 115 to 93 computations (19.1% saved)

Profiling

Loading profile data...