Details

Time bar (total: 1.1s)

analyze77.0ms (6.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
62.4%37.5%0.1%4
68.7%31.2%0.1%5
68.7%18.7%12.6%6
68.7%18.7%12.6%7
68.7%12.5%18.8%8
68.7%12.5%18.8%9
68.7%9.4%22%10
68.7%9.4%22%11
68.7%7.8%23.5%12
68.7%7.8%23.5%13
68.7%7%24.3%14

sample14.0ms (1.3%)

Algorithm
1×intervals
Results
7.0ms256×body80valid
1.0ms27×body80overflowed

simplify5.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
078
178

prune5.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.5b

Counts
2 → 1

localize5.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (exp.f64 a) (exp.f64 b))
0.5b
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite14.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
21×*-un-lft-identity_binary64
12×times-frac_binary64
11×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
5×distribute-lft-out_binary64
4×associate-/r*_binary64 add-log-exp_binary64 add-cbrt-cube_binary64
3×add-exp-log_binary64 associate-/l*_binary64
2×flip3-+_binary64 pow1_binary64 associate-/r/_binary64 flip-+_binary64
1×cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 sum-log_binary64
Counts
2 → 45
Calls

2 calls:

8.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
5.0ms
(+.f64 (exp.f64 a) (exp.f64 b))

series20.0ms (1.8%)

Counts
2 → 6
Calls

2 calls:

14.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
6.0ms
(+.f64 (exp.f64 a) (exp.f64 b))

simplify69.0ms (6%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
04961546
14961546

prune57.0ms (5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New48351
Fresh000
Picked101
Done000
Total49352

Merged error: 0.2b

Counts
52 → 3

localize7.0ms (0.6%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (exp.f64 a) (exp.f64 b))
0.0b
(/.f64 1 (/.f64 (+.f64 (exp.f64 a) (exp.f64 b)) (exp.f64 a)))
0.5b
(/.f64 (+.f64 (exp.f64 a) (exp.f64 b)) (exp.f64 a))

rewrite30.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Rules
108×times-frac_binary64
95×*-un-lft-identity_binary64
61×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
19×associate-/r*_binary64
17×distribute-lft-out_binary64
12×add-exp-log_binary64
10×add-cbrt-cube_binary64
8×div-exp_binary64
7×associate-/l*_binary64
6×div-inv_binary64
5×add-log-exp_binary64
4×pow1_binary64 cbrt-undiv_binary64
2×flip3-+_binary64 associate-/l/_binary64 1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 flip-+_binary64
1×associate-/r/_binary64 inv-pow_binary64 +-commutative_binary64 pow-flip_binary64 sum-log_binary64
Counts
3 → 133
Calls

3 calls:

10.0ms
(/.f64 1 (/.f64 (+.f64 (exp.f64 a) (exp.f64 b)) (exp.f64 a)))
8.0ms
(/.f64 (+.f64 (exp.f64 a) (exp.f64 b)) (exp.f64 a))
5.0ms
(+.f64 (exp.f64 a) (exp.f64 b))

series32.0ms (2.9%)

Counts
3 → 9
Calls

3 calls:

14.0ms
(/.f64 1 (/.f64 (+.f64 (exp.f64 a) (exp.f64 b)) (exp.f64 a)))
12.0ms
(/.f64 (+.f64 (exp.f64 a) (exp.f64 b)) (exp.f64 a))
6.0ms
(+.f64 (exp.f64 a) (exp.f64 b))

simplify75.0ms (6.6%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
052561833

prune127.0ms (11.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1411142
Fresh112
Picked101
Done000
Total1432145

Merged error: 0b

Counts
145 → 2

localize5.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b
(-.f64 -1 (exp.f64 (-.f64 b a)))
0.0b
(/.f64 -1 (-.f64 -1 (exp.f64 (-.f64 b a))))

rewrite17.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
22×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
15×times-frac_binary64
12×add-cube-cbrt_binary64
5×associate-/r*_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×associate-/l*_binary64
2×pow1_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64
1×sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
2 → 50
Calls

2 calls:

9.0ms
(/.f64 -1 (-.f64 -1 (exp.f64 (-.f64 b a))))
7.0ms
(-.f64 -1 (exp.f64 (-.f64 b a)))

series14.0ms (1.3%)

Counts
2 → 6
Calls

2 calls:

9.0ms
(/.f64 -1 (-.f64 -1 (exp.f64 (-.f64 b a))))
5.0ms
(-.f64 -1 (exp.f64 (-.f64 b a)))

simplify67.0ms (5.9%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
04878642
14878642

prune58.0ms (5.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New56056
Fresh011
Picked011
Done000
Total56258

Merged error: 0b

Counts
58 → 2

localize6.0ms (0.5%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify4.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune0.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022

Merged error: 0b

Counts
2 → 2

regimes60.0ms (5.3%)

Accuracy

Total 0.0b remaining (59.9%)

Threshold costs 0.0b (59.9%)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0248
1248

end0.0ms (0%)

sample363.0ms (32%)

Algorithm
1×intervals
Results
214.0ms8000×body80valid
16.0ms699×body80overflowed

Profiling

Loading profile data...