Details

Time bar (total: 4.0s)

sample13.0ms

Algorithm
intervals
Results
5.0ms256×body80valid
1.0ms79×body80nan

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
084
184

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 1.0 (sqrt (+ x 1.0)))
0.2b
(/ x (+ 1.0 (sqrt (+ x 1.0))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
2×flip3-+ associate-/r/ flip-+
1×+-commutative frac-2neg clear-num div-inv
Counts
2 → 8
Calls
2 calls:
2.0ms
(+ 1.0 (sqrt (+ x 1.0)))
3.0ms
(/ x (+ 1.0 (sqrt (+ x 1.0))))

series190.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(+ 1.0 (sqrt (+ x 1.0)))
148.0ms
(/ x (+ 1.0 (sqrt (+ x 1.0))))

simplify106.0ms

Algorithm
egg-herbie
Counts
14 → 14
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
0185126
1674111
23777100
35002100

prune44.0ms

Filtered
14 candidates to 12 candidates (85.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New12214
Fresh000
Picked011
Done000
Total12315

Merged error: 0.0b

Counts
15 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
0.2b
(pow (sqrt (+ x 1.0)) 3)
2.6b
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
6.0b
(/ x (+ (pow 1.0 3) (pow (sqrt (+ x 1.0)) 3)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
60×sqrt-div
31×flip3-+ flip-+
28×associate-*r/
16×frac-sub
12×frac-times
8×associate-*l/
7×pow1/2
5×*-commutative
4×sub-div
2×distribute-rgt-out-- associate-/r/ distribute-lft-out--
1×pow2 pow-to-exp sub-neg flip3-- pow-pow frac-2neg sqrt-unprod unpow3 pow-prod-down clear-num associate-/r* rem-square-sqrt pow-sqr sum-cubes pow-prod-up sqrt-pow2 flip-- div-inv sqr-pow
Counts
4 → 54
Calls
4 calls:
5.0ms
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
2.0ms
(pow (sqrt (+ x 1.0)) 3)
10.0ms
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
5.0ms
(/ x (+ (pow 1.0 3) (pow (sqrt (+ x 1.0)) 3)))

series347.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
68.0ms
(pow (sqrt (+ x 1.0)) 3)
60.0ms
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
202.0ms
(/ x (+ (pow 1.0 3) (pow (sqrt (+ x 1.0)) 3)))

simplify55.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0510870
11725744
25001734

prune198.0ms

Filtered
66 candidates to 42 candidates (63.6%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New64266
Fresh011
Picked011
Done011
Total64569

Merged error: 0b

Counts
69 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ x (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0))))) (+ (* 1.0 1.0) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))))
0.2b
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
2.6b
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
6.0b
(/ x (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0)))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
60×sqrt-div
36×flip3-+ flip-+
30×associate-*r/
18×frac-times
16×frac-sub
11×associate-*l/
6×pow1/2 *-commutative
4×distribute-rgt-in associate-+r+ frac-2neg distribute-lft-in clear-num associate-/r/ sub-div
3×sub-neg associate-*l*
2×+-commutative distribute-rgt-out-- div-inv distribute-lft-out--
1×pow2 flip3-- sqrt-unprod pow-prod-down rem-square-sqrt pow-sqr pow-prod-up flip--
Counts
4 → 71
Calls
4 calls:
16.0ms
(* (/ x (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0))))) (+ (* 1.0 1.0) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))))
5.0ms
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
10.0ms
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
6.0ms
(/ x (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0)))))

series672.0ms

Counts
4 → 12
Calls
4 calls:
395.0ms
(* (/ x (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0))))) (+ (* 1.0 1.0) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))))
22.0ms
(* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
60.0ms
(- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1.0 (sqrt (+ x 1.0))))
194.0ms
(/ x (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0)))))

simplify113.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (92.0ms)

IterNodesCost
08401523
134661310
250011309

prune237.0ms

Filtered
83 candidates to 54 candidates (65.1%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New82183
Fresh112
Picked011
Done022
Total83588

Merged error: 0b

Counts
88 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

2.5b
(- (* 1.0 1.0) (+ x 1.0))
2.5b
(- (* 1.0 1.0) (+ x 1.0))
2.6b
(- (* 1.0 (sqrt (+ x 1.0))) (* 1.0 1.0))
13.1b
(/ (* (- (+ x 1.0) (- (* 1.0 (sqrt (+ x 1.0))) (* 1.0 1.0))) (* (+ (- (* 1.0 1.0) (+ x 1.0)) (* 1.0 (sqrt (+ x 1.0)))) x)) (* (+ (- (* 1.0 1.0) (+ x 1.0)) (* 1.0 (sqrt (+ x 1.0)))) (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0))))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
54×associate-*l/
51×flip3-+ flip-+
48×frac-times associate-*r/ associate-/l/
44×flip3-- flip--
40×sqrt-div frac-add
28×frac-sub
20×associate-/r/
15×*-commutative
8×times-frac
6×associate-*r*
4×associate-/l* associate--r+
3×sub-neg
2×+-commutative distribute-rgt-out-- associate-/r* distribute-lft-out--
1×frac-2neg clear-num div-inv
Counts
4 → 105
Calls
4 calls:
4.0ms
(- (* 1.0 1.0) (+ x 1.0))
4.0ms
(- (* 1.0 1.0) (+ x 1.0))
6.0ms
(- (* 1.0 (sqrt (+ x 1.0))) (* 1.0 1.0))
34.0ms
(/ (* (- (+ x 1.0) (- (* 1.0 (sqrt (+ x 1.0))) (* 1.0 1.0))) (* (+ (- (* 1.0 1.0) (+ x 1.0)) (* 1.0 (sqrt (+ x 1.0)))) x)) (* (+ (- (* 1.0 1.0) (+ x 1.0)) (* 1.0 (sqrt (+ x 1.0)))) (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0))))))

series498.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(- (* 1.0 1.0) (+ x 1.0))
11.0ms
(- (* 1.0 1.0) (+ x 1.0))
67.0ms
(- (* 1.0 (sqrt (+ x 1.0))) (* 1.0 1.0))
402.0ms
(/ (* (- (+ x 1.0) (- (* 1.0 (sqrt (+ x 1.0))) (* 1.0 1.0))) (* (+ (- (* 1.0 1.0) (+ x 1.0)) (* 1.0 (sqrt (+ x 1.0)))) x)) (* (+ (- (* 1.0 1.0) (+ x 1.0)) (* 1.0 (sqrt (+ x 1.0)))) (+ (pow 1.0 3) (* (+ x 1.0) (sqrt (+ x 1.0))))))

simplify60.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
012963337
150023266

prune911.0ms

Filtered
117 candidates to 105 candidates (89.7%)
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1170117
Fresh011
Picked011
Done033
Total1175122

Merged error: 0b

Counts
122 → 5

regimes45.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084
184

end0.0ms

sample313.0ms

Algorithm
intervals
Results
154.0ms7997×body80valid
43.0ms2660×body80nan
0.0ms3×body1280valid