Details

Time bar (total: 1.5s)

analyze3.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1

sample17.0ms

Algorithm
intervals
Results
7.0ms256×pre80true
5.0ms256×body80valid

simplify37.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
04977
14977

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.4b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

1.0b
(/.f64 x0 (-.f64 1 x1))
7.5b
(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
27×*-un-lft-identity_binary64
19×times-frac_binary64
13×add-cube-cbrt_binary64
10×difference-of-squares_binary64
6×associate-/r*_binary64
5×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 → 55
Calls
2 calls:
6.0ms
(/.f64 x0 (-.f64 1 x1))
13.0ms
(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

series14.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(/.f64 x0 (-.f64 1 x1))
7.0ms
(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

simplify45.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
04969618
14969618

prune54.0ms

Filtered
45 candidates to 61 candidates (-35.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New59261
Fresh000
Picked101
Done000
Total60262

Merged error: 6.7b

Counts
62 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
0.5b
(*.f64 (-.f64 1 x1) (-.f64 1 x1))
1.0b
(/.f64 x0 (-.f64 1 x1))
6.0b
(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
53×*-un-lft-identity_binary64
49×add-sqr-sqrt_binary64
19×add-cube-cbrt_binary64 times-frac_binary64
18×difference-of-squares_binary64
11×pow1_binary64 distribute-lft-out--_binary64
8×add-log-exp_binary64 flip3--_binary64 swap-sqr_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip--_binary64
6×associate-/r*_binary64 associate-*r*_binary64 associate-*l*_binary64
4×frac-times_binary64
3×sub-neg_binary64 associate-/l*_binary64
2×associate-*r/_binary64 associate-/r/_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 flip3-+_binary64 diff-log_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 pow-prod-up_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 pow-plus_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 pow-sqr_binary64 +-commutative_binary64 flip-+_binary64 pow2_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 113
Calls
4 calls:
10.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
11.0ms
(*.f64 (-.f64 1 x1) (-.f64 1 x1))
6.0ms
(/.f64 x0 (-.f64 1 x1))
16.0ms
(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

series32.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
2.0ms
(*.f64 (-.f64 1 x1) (-.f64 1 x1))
8.0ms
(/.f64 x0 (-.f64 1 x1))
15.0ms
(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

simplify60.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
053321229

prune114.0ms

Filtered
85 candidates to 125 candidates (-47.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1232125
Fresh101
Picked101
Done000
Total1252127

Merged error: 5.3b

Counts
127 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(/.f64 (*.f64 x0 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
0.5b
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b
(/.f64 x0 (-.f64 1 x1))
6.0b
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity_binary64
34×add-sqr-sqrt_binary64
23×times-frac_binary64
17×add-cube-cbrt_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
10×associate-/r*_binary64 difference-of-squares_binary64
8×add-log-exp_binary64
5×distribute-lft-out--_binary64
4×pow1_binary64 associate-/r/_binary64 associate-/l*_binary64
3×flip3--_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 div-exp_binary64 flip--_binary64
2×flip3-+_binary64 associate-/l/_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 flip-+_binary64
1×sub-neg_binary64 diff-log_binary64 cbrt-unprod_binary64 prod-exp_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 94
Calls
4 calls:
23.0ms
(/.f64 (*.f64 x0 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
11.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
6.0ms
(/.f64 x0 (-.f64 1 x1))
10.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

series67.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(/.f64 (*.f64 x0 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
7.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
6.0ms
(/.f64 x0 (-.f64 1 x1))
21.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

simplify46.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
055061543

prune105.0ms

Filtered
79 candidates to 106 candidates (-34.2%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1042106
Fresh101
Picked101
Done000
Total1062108

Merged error: 4.3b

Counts
108 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b
(/.f64 x0 (-.f64 1 x1))
4.9b
(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
6.0b
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt_binary64
35×*-un-lft-identity_binary64
20×times-frac_binary64
17×add-cube-cbrt_binary64
12×difference-of-squares_binary64
8×add-log-exp_binary64
7×log-pow_binary64
6×associate-/r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 distribute-lft-out--_binary64 exp-prod_binary64
5×pow1_binary64
4×log-prod_binary64
3×associate-/l*_binary64
2×sub-neg_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64
1×flip3-+_binary64 diff-log_binary64 distribute-lft-out_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 exp-diff_binary64 clear-num_binary64 exp-sum_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 log-div_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 87
Calls
4 calls:
10.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
6.0ms
(/.f64 x0 (-.f64 1 x1))
10.0ms
(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
10.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

series59.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
6.0ms
(/.f64 x0 (-.f64 1 x1))
25.0ms
(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
20.0ms
(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

simplify52.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
050321174

prune103.0ms

Filtered
75 candidates to 99 candidates (-32.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New97299
Fresh101
Picked101
Done000
Total992101

Merged error: 3.3b

Counts
101 → 2

regimes53.0ms

Accuracy

100% (0.0b remaining)

Error of 3.4b against oracle of 3.4b and baseline of 4.5b

bsearch9.0ms

Steps
ItersRangePoint
7
0.000209
0.0186
0.00021208908081054686

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05670
15670

end0.0ms

sample459.0ms

Algorithm
intervals
Results
209.0ms8000×pre80true
164.0ms8000×body80valid

Profiling

Loading profile data...