Details

Time bar (total: 3.3s)

analyze76.0ms (2.3%)

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
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample16.0ms (0.5%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
0.0ms14×body128overflowed
Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify100.0ms (3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0813
1813

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 16 to 12 computations (25% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite50.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.7b
Rules
21×*-un-lft-identity_binary64_2465
12×times-frac_binary64_2471
11×add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487
5×distribute-lft-out_binary64_2416
4×add-log-exp_binary64_2504 add-cbrt-cube_binary64_2501 associate-/r*_binary64_2409
3×add-exp-log_binary64_2503 associate-/l*_binary64_2410
2×pow1_binary64_2526 flip3-+_binary64_2468 associate-/r/_binary64_2411 flip-+_binary64_2439
1×div-exp_binary64_2516 cbrt-undiv_binary64_2499 frac-2neg_binary64_2476 clear-num_binary64_2464 div-inv_binary64_2462 sum-log_binary64_2556 +-commutative_binary64_2395
Counts
2 → 45
Calls

2 calls:

8.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms
(+.f64 (exp.f64 a) (exp.f64 b))
Compiler

Compiled 750 to 153 computations (79.6% saved)

series225.0ms (6.8%)

Error
0.2b
Counts
2 → 23
Calls

2 calls:

165.0ms
(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
37.0ms
(+.f64 (exp.f64 a) (exp.f64 b))
Compiler

Compiled 1023 to 686 computations (32.9% saved)

simplify101.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
049531435
149531435

prune57.0ms (1.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New65368
Fresh000
Picked101
Done000
Total66369
Error
0.2b
Counts
69 → 3
Compiler

Compiled 1137 to 379 computations (66.7% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite136.0ms (4.1%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
108×times-frac_binary64_2471
95×*-un-lft-identity_binary64_2465
61×add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487
19×associate-/r*_binary64_2409
17×distribute-lft-out_binary64_2416
12×add-exp-log_binary64_2503
10×add-cbrt-cube_binary64_2501
8×div-exp_binary64_2516
7×associate-/l*_binary64_2410
6×div-inv_binary64_2462
5×add-log-exp_binary64_2504
4×pow1_binary64_2526 cbrt-undiv_binary64_2499
2×frac-2neg_binary64_2476 clear-num_binary64_2464 flip3-+_binary64_2468 associate-/l/_binary64_2412 flip-+_binary64_2439 1-exp_binary64_2509 rec-exp_binary64_2515
1×inv-pow_binary64_2550 pow-flip_binary64_2539 associate-/r/_binary64_2411 sum-log_binary64_2556 +-commutative_binary64_2395
Counts
3 → 133
Calls

3 calls:

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

Compiled 2796 to 840 computations (70% saved)

series322.0ms (9.8%)

Error
0b
Counts
3 → 35
Calls

3 calls:

164.0ms
(/.f64 1 (/.f64 (+.f64 (exp.f64 b) (exp.f64 a)) (exp.f64 a)))
88.0ms
(/.f64 (+.f64 (exp.f64 b) (exp.f64 a)) (exp.f64 a))
37.0ms
(+.f64 (exp.f64 b) (exp.f64 a))
Compiler

Compiled 1481 to 1009 computations (31.9% saved)

simplify104.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049723888
149723888

prune125.0ms (3.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1671168
Fresh022
Picked101
Done000
Total1683171
Error
0b
Counts
171 → 3
Compiler

Compiled 3035 to 895 computations (70.5% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite54.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
21×*-un-lft-identity_binary64_2465
12×times-frac_binary64_2471
11×add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487
6×add-exp-log_binary64_2503
5×distribute-lft-out_binary64_2416
4×add-log-exp_binary64_2504 add-cbrt-cube_binary64_2501 associate-/r*_binary64_2409
3×pow1_binary64_2526 associate-/l*_binary64_2410
2×div-exp_binary64_2516 flip3-+_binary64_2468 associate-/r/_binary64_2411 flip-+_binary64_2439
1×inv-pow_binary64_2550 pow-flip_binary64_2539 1-exp_binary64_2509 rec-exp_binary64_2515 cbrt-undiv_binary64_2499 frac-2neg_binary64_2476 clear-num_binary64_2464 div-inv_binary64_2462 sum-log_binary64_2556 +-commutative_binary64_2395
Counts
2 → 49
Calls

2 calls:

6.0ms
(/.f64 1 (+.f64 1 (exp.f64 b)))
4.0ms
(+.f64 1 (exp.f64 b))
Compiler

Compiled 634 to 468 computations (26.2% saved)

series54.0ms (1.6%)

Error
0b
Counts
2 → 10
Calls

2 calls:

31.0ms
(/.f64 1 (+.f64 1 (exp.f64 b)))
14.0ms
(+.f64 1 (exp.f64 b))
Compiler

Compiled 167 to 168 computations (-0.6% saved)

simplify99.0ms (3%)

Algorithm
1×egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04793688
14793688

prune42.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New59059
Fresh022
Picked011
Done000
Total59362
Error
0b
Counts
62 → 3
Compiler

Compiled 642 to 474 computations (26.2% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 1 (*.f64 (exp.f64 (neg.f64 a)) (+.f64 1 b)))
0.0b
(/.f64 1 (+.f64 1 (*.f64 (exp.f64 (neg.f64 a)) (+.f64 1 b))))

rewrite60.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×add-cube-cbrt_binary64_2500 add-sqr-sqrt_binary64_2487 *-un-lft-identity_binary64_2465
9×times-frac_binary64_2471
6×add-exp-log_binary64_2503
4×add-log-exp_binary64_2504 add-cbrt-cube_binary64_2501
3×pow1_binary64_2526 associate-/l*_binary64_2410 associate-/r*_binary64_2409
2×div-exp_binary64_2516 flip3-+_binary64_2468 associate-/r/_binary64_2411 flip-+_binary64_2439 associate-+r+_binary64_2397
1×inv-pow_binary64_2550 pow-flip_binary64_2539 1-exp_binary64_2509 rec-exp_binary64_2515 cbrt-undiv_binary64_2499 frac-2neg_binary64_2476 clear-num_binary64_2464 div-inv_binary64_2462 sum-log_binary64_2556 distribute-rgt-in_binary64_2415 distribute-lft-in_binary64_2414 +-commutative_binary64_2395
Counts
2 → 46
Calls

2 calls:

5.0ms
(/.f64 1 (+.f64 1 (*.f64 (exp.f64 (neg.f64 a)) (+.f64 1 b))))
4.0ms
(+.f64 1 (*.f64 (exp.f64 (neg.f64 a)) (+.f64 1 b)))
Compiler

Compiled 1001 to 679 computations (32.2% saved)

series318.0ms (9.7%)

Error
0b
Counts
2 → 22
Calls

2 calls:

196.0ms
(/.f64 1 (+.f64 1 (*.f64 (exp.f64 (neg.f64 a)) (+.f64 1 b))))
95.0ms
(+.f64 1 (*.f64 (exp.f64 (neg.f64 a)) (+.f64 1 b)))
Compiler

Compiled 1308 to 991 computations (24.2% saved)

simplify77.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049651635
149651635

prune68.0ms (2.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New68068
Fresh011
Picked011
Done011
Total68371
Error
0b
Counts
71 → 3
Compiler

Compiled 1327 to 929 computations (30% saved)

regimes220.0ms (6.7%)

Accuracy

Total 0.4b remaining (99.5%)

Threshold costs 0.4b (99.5%)

Compiler

Compiled 1914 to 1572 computations (17.9% saved)

bsearch24.0ms (0.7%)

Steps
ItersRangePoint
13
1.4921937324620516
3.4675285965982776e+102
3.421041865160871e+102
Compiler

Compiled 2 to 3 computations (-50% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01833
11833

end0.0ms (0%)

sample930.0ms (28.3%)

Algorithm
1×intervals
Results
232.0ms8000×body128valid
16.0ms708×body128overflowed
Compiler

Compiled 362 to 297 computations (18% saved)

Profiling

Loading profile data...