Details

Time bar (total: 2.5s)

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

sample25.0ms (1%)

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

Compiled 31 to 21 computations (32.3% saved)

simplify165.0ms (6.6%)

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
11.5b
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)))))
27.4b
(/.f64 (*.f64 b b) (*.f64 a a))

rewrite44.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
14×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
4×prod-exp_binary64_1150 div-exp_binary64_1152 cbrt-undiv_binary64_1135 cbrt-unprod_binary64_1134 add-sqr-sqrt_binary64_1123
3×pow1_binary64_1162 add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101 sqrt-prod_binary64_1117
2×add-log-exp_binary64_1140
1×frac-2neg_binary64_1112 times-frac_binary64_1107 clear-num_binary64_1100 div-inv_binary64_1098 associate-/l*_binary64_1046 associate-/r*_binary64_1045 pow1/2_binary64_1181 sqrt-pow1_binary64_1119 rem-sqrt-square_binary64_1114
Counts
2 → 34
Calls

2 calls:

6.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 (6.6%)

Error
11.5b
Counts
2 → 12
Calls

2 calls:

84.0ms
(/.f64 (*.f64 b b) (*.f64 a a))
71.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 (3.6%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (78.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)

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

rewrite46.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
13×unpow-prod-down_binary64_1180
12×add-sqr-sqrt_binary64_1123
11×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
9×times-frac_binary64_1107
5×add-exp-log_binary64_1139
4×pow1_binary64_1162
3×pow-unpow_binary64_1178 sqrt-prod_binary64_1117
2×pow-exp_binary64_1169 add-log-exp_binary64_1140 add-cbrt-cube_binary64_1137
1×div-inv_binary64_1098 pow-pow_binary64_1173 pow-to-exp_binary64_1170 div-exp_binary64_1152 unpow2_binary64_1166 sqr-pow_binary64_1073 pow1/2_binary64_1181 sqrt-pow1_binary64_1119 rem-sqrt-square_binary64_1114
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)

series147.0ms (5.9%)

Error
0b
Counts
2 → 12
Calls

2 calls:

73.0ms
(pow.f64 (/.f64 b a) 2)
64.0ms
(sqrt.f64 (fabs.f64 (-.f64 1 (pow.f64 (/.f64 b a) 2))))
Compiler

Compiled 396 to 374 computations (5.6% saved)

simplify52.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05242651

prune41.0ms (1.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New54054
Fresh011
Picked011
Done000
Total54256
Error
0b
Counts
56 → 2
Compiler

Compiled 695 to 458 computations (34.1% saved)

localize11.0ms (0.4%)

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)
5.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_1180
22×add-sqr-sqrt_binary64_1123
21×add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
19×log-pow_binary64_1190
18×exp-prod_binary64_1153 times-frac_binary64_1107
6×pow1_binary64_1162 add-exp-log_binary64_1139
3×log-prod_binary64_1187 add-log-exp_binary64_1140 add-cbrt-cube_binary64_1137 pow-unpow_binary64_1178 sqrt-prod_binary64_1117
2×div-inv_binary64_1098 unpow2_binary64_1166 sqr-pow_binary64_1073 pow-exp_binary64_1169
1×rem-log-exp_binary64_1142 pow-pow_binary64_1173 pow-to-exp_binary64_1170 div-exp_binary64_1152 pow1/2_binary64_1181 sqrt-pow1_binary64_1119 rem-sqrt-square_binary64_1114
Counts
3 → 72
Calls

3 calls:

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

series351.0ms (14.1%)

Error
0b
Counts
3 → 18
Calls

3 calls:

203.0ms
(log.f64 (exp.f64 (pow.f64 (/.f64 b a) 2)))
72.0ms
(pow.f64 (/.f64 b a) 2)
62.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)

simplify63.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05039948

prune75.0ms (3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New90090
Fresh000
Picked011
Done011
Total90292
Error
0b
Counts
92 → 2
Compiler

Compiled 1265 to 834 computations (34.1% saved)

regimes113.0ms (4.6%)

Accuracy

Total 0.0b remaining (81.2%)

Threshold costs 0.0b (81.2%)

Compiler

Compiled 882 to 702 computations (20.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03417
13417

end0.0ms (0%)

sample903.0ms (36.4%)

Algorithm
1×intervals
Results
290.0ms8000×body128valid
150.0ms8000×pre128true
2.0ms122×pre128false
Compiler

Compiled 128 to 101 computations (21.1% saved)

Profiling

Loading profile data...