Details

Time bar (total: 2.2s)

sample16.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0288
1428
2508
3508

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.0b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
0.0b
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
0.1b
(* x (+ 0.99229 (* x 0.04481)))
15.2b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
10×times-frac
8×add-exp-log add-cbrt-cube add-log-exp
6×pow1
4×flip3-+ flip-+
3×associate-*r* associate-*l* associate-/r* associate-/l*
2×distribute-rgt-in associate-+r+ distribute-lft-in associate-*r/ associate-/r/ associate-/l/ difference-of-squares
1×cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
4.0ms
(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
10.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
5.0ms
(* x (+ 0.99229 (* x 0.04481)))
6.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series223.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
81.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
62.0ms
(* x (+ 0.99229 (* x 0.04481)))
58.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify60.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0440825
11911776
25001776

prune202.0ms

Filtered
93 candidates to 70 candidates (75.3%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New91293
Fresh000
Picked101
Done000
Total92294

Merged error: 0b

Counts
94 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ 2.30753 (* x 0.27061)) (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))) x)
0.0b
(+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))
0.1b
(* (* x 0.04481) x)
15.2b
(/ (+ 2.30753 (* x 0.27061)) (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×*-un-lft-identity
13×add-cube-cbrt
11×add-exp-log add-cbrt-cube add-log-exp
10×times-frac
9×pow1
3×flip3-+ associate-*r* pow-prod-down prod-exp associate-/r* sum-log cbrt-unprod flip-+ associate-/l*
2×associate-/r/ associate-/l/ difference-of-squares
1×cbrt-undiv +-commutative sub-neg associate-+l+ flip3-- frac-2neg diff-log div-exp associate-*l* clear-num *-commutative flip-- div-inv distribute-lft-out--
Counts
4 → 77
Calls
4 calls:
12.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))) x)
5.0ms
(+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))
5.0ms
(* (* x 0.04481) x)
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))

series185.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))) x)
21.0ms
(+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))
24.0ms
(* (* x 0.04481) x)
59.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))

simplify51.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0419869
11661804
25001777

prune180.0ms

Filtered
89 candidates to 63 candidates (70.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New88189
Fresh101
Picked011
Done000
Total89291

Merged error: 0b

Counts
91 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1 (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))))
0.1b
(/ 1 (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))))
15.2b
(sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))
15.2b
(sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
76×times-frac
53×*-un-lft-identity
47×add-cube-cbrt sqrt-prod
30×add-exp-log
24×associate-*r* associate-*l*
18×add-cbrt-cube
15×unswap-sqr
10×pow1 sqrt-div div-exp
8×prod-exp
6×associate-/r* associate-/r/
5×cbrt-undiv flip3-+ flip-+
4×cbrt-unprod add-log-exp
3×rec-exp pow-flip sqrt-pow1 pow1/2 1-exp div-inv associate-/l*
2×rem-sqrt-square
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative inv-pow
Counts
4 → 164
Calls
4 calls:
26.0ms
(* (/ 1 (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))))
7.0ms
(/ 1 (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))))
4.0ms
(sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))
5.0ms
(sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))

series302.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (/ 1 (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))))
94.0ms
(/ 1 (sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x))))
74.0ms
(sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))
77.0ms
(sqrt (+ (+ 1.0 (* 0.99229 x)) (* (* x 0.04481) x)))

simplify100.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
07393015
143922699
250012516

prune395.0ms

Filtered
176 candidates to 106 candidates (60.2%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1760176
Fresh000
Picked011
Done011
Total1762178

Merged error: 0b

Counts
178 → 2

regimes13.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0229
1229

end0.0ms

sample334.0ms

Algorithm
intervals
Results
244.0ms8000×body80valid