Details

Time bar (total: 3.7s)

sample47.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
8.0ms290×pre80false
7.0ms256×pre80true

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0127
1127

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
(/ x0 (- 1.0 x1))
7.6b
(- (/ x0 (- 1.0 x1)) x0)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
22×*-un-lft-identity
16×times-frac
12×add-cube-cbrt
6×difference-of-squares
5×associate-/r* distribute-lft-out--
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/l*
2×pow1 flip3-- associate-/r/ flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv
Counts
2 → 52
Calls
2 calls:
6.0ms
(/ x0 (- 1.0 x1))
12.0ms
(- (/ x0 (- 1.0 x1)) x0)

series14.0ms

Counts
2 → 6
Calls
2 calls:
6.0ms
(/ x0 (- 1.0 x1))
8.0ms
(- (/ x0 (- 1.0 x1)) x0)

simplify45.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05057590

prune72.0ms

Filtered
44 candidates to 58 candidates (-31.8%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New56258
Fresh000
Picked101
Done000
Total57259

Merged error: 6.7b

Counts
59 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ x0 (/ x0 (- 1.0 x1)))
0.5b
(/ (* x0 (- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)) (+ x0 (/ x0 (- 1.0 x1))))
1.0b
(/ x0 (- 1.0 x1))
6.1b
(- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
28×add-sqr-sqrt
20×times-frac
16×add-cube-cbrt
11×add-exp-log add-cbrt-cube
9×associate-/r*
8×add-log-exp
6×difference-of-squares
5×distribute-lft-out--
4×pow1 associate-/r/ associate-/l*
3×cbrt-undiv flip3-- div-exp flip-- distribute-lft-out
2×frac-2neg flip3-+ associate-*r/ clear-num flip-+ div-inv associate-/l/
1×+-commutative sub-neg diff-log prod-exp sum-log cbrt-unprod
Counts
4 → 91
Calls
4 calls:
10.0ms
(+ x0 (/ x0 (- 1.0 x1)))
27.0ms
(/ (* x0 (- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)) (+ x0 (/ x0 (- 1.0 x1))))
6.0ms
(/ x0 (- 1.0 x1))
17.0ms
(- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)

series57.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(+ x0 (/ x0 (- 1.0 x1)))
29.0ms
(/ (* x0 (- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)) (+ x0 (/ x0 (- 1.0 x1))))
6.0ms
(/ x0 (- 1.0 x1))
15.0ms
(- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)

simplify55.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049501486
149501486

prune143.0ms

Filtered
78 candidates to 103 candidates (-32.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1012103
Fresh101
Picked101
Done000
Total1032105

Merged error: 5.6b

Counts
105 → 2

localize27.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ x0 (- 1.0 x1))
1.3b
(pow (- 1.0 x1) 4)
1.3b
(pow (- 1.0 x1) 6)
4.4b
(- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
141×add-sqr-sqrt
63×times-frac
58×difference-of-squares
51×unpow-prod-down
43×sqr-pow
32×*-un-lft-identity
25×cube-prod
18×add-cube-cbrt
8×add-exp-log
7×distribute-lft-out--
6×pow1 pow-unpow add-cbrt-cube add-log-exp
5×associate-/r*
3×associate-/l*
2×pow-to-exp flip3-- pow-pow pow-exp associate-/r/ flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv
Counts
4 → 140
Calls
4 calls:
6.0ms
(/ x0 (- 1.0 x1))
6.0ms
(pow (- 1.0 x1) 4)
5.0ms
(pow (- 1.0 x1) 6)
77.0ms
(- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))

series35.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ x0 (- 1.0 x1))
3.0ms
(pow (- 1.0 x1) 4)
3.0ms
(pow (- 1.0 x1) 6)
19.0ms
(- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))

simplify51.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
050192504

prune381.0ms

Filtered
91 candidates to 152 candidates (-67.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1502152
Fresh101
Picked101
Done000
Total1522154

Merged error: 3.9b

Counts
154 → 2

localize36.0ms

Local error

Found 4 expressions with local error:

1.3b
(pow (/ x0 (- 1.0 x1)) 6)
1.3b
(pow (- 1.0 x1) 6)
2.0b
(pow (- 1.0 x1) 12)
4.3b
(- (pow (/ (pow x0 3) (pow (- 1.0 x1) 6)) 3) (pow (pow x0 3) 3))

rewrite339.0ms

Algorithm
rewrite-expression-head
Rules
594×add-sqr-sqrt
473×unpow-prod-down
362×cube-prod
285×difference-of-squares
255×times-frac
237×sqr-pow
38×*-un-lft-identity
18×add-cube-cbrt
10×distribute-lft-out--
9×add-exp-log pow-unpow
7×pow1
6×add-log-exp
4×pow-exp add-cbrt-cube
3×pow-to-exp pow-pow
2×flip3-- associate-/r/ flip--
1×difference-cubes sub-neg diff-log div-exp div-inv
Counts
4 → 372
Calls
4 calls:
11.0ms
(pow (/ x0 (- 1.0 x1)) 6)
5.0ms
(pow (- 1.0 x1) 6)
6.0ms
(pow (- 1.0 x1) 12)
282.0ms
(- (pow (/ (pow x0 3) (pow (- 1.0 x1) 6)) 3) (pow (pow x0 3) 3))

series49.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(pow (/ x0 (- 1.0 x1)) 6)
3.0ms
(pow (- 1.0 x1) 6)
3.0ms
(pow (- 1.0 x1) 12)
26.0ms
(- (pow (/ (pow x0 3) (pow (- 1.0 x1) 6)) 3) (pow (pow x0 3) 3))

simplify119.0ms

Algorithm
egg-herbie
Counts
384 → 384
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0530911473

prune815.0ms

Filtered
113 candidates to 384 candidates (-239.8%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New3822384
Fresh101
Picked101
Done000
Total3842386

Merged error: 3.6b

Counts
386 → 2

regimes78.0ms

Accuracy

100% (0.0b remaining)

Error of 3.5b against oracle of 3.5b and baseline of 5.3b

bsearch18.0ms

Steps
ItersRangePoint
7
0.000209
0.0186
0.002302765136718749

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068170
168170

end0.0ms

sample1.1s

Algorithm
intervals
Results
218.0ms8000×pre80true
216.0ms7999×pre80false
173.0ms8000×body80valid

Profiling

Loading profile data...