Details

Time bar (total: 3.7s)

sample16.0ms

Algorithm
intervals
Results
7.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

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 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)))
13.4b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
76×*-un-lft-identity
28×distribute-lft-out
26×times-frac
25×add-sqr-sqrt
18×add-cube-cbrt
17×associate-*l*
8×add-exp-log add-cbrt-cube add-log-exp
6×pow1
5×associate-*r* associate-/r* associate-/l*
4×flip3-+ flip-+
3×+-commutative
2×distribute-rgt-in distribute-lft-in associate-*r/ associate-/r/ associate-/l/ difference-of-squares
1×cbrt-undiv 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 → 105
Calls
4 calls:
6.0ms
(+ 0.99229 (* x 0.04481))
27.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
9.0ms
(* x (+ 0.99229 (* x 0.04481)))
22.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series266.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(+ 0.99229 (* x 0.04481))
92.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
71.0ms
(* x (+ 0.99229 (* x 0.04481)))
64.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify57.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0427986
11769940
25001931

prune171.0ms

Filtered
117 candidates to 71 candidates (60.7%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1152117
Fresh000
Picked101
Done000
Total1162118

Merged error: 0b

Counts
118 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.1b
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
13.4b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
21.0b
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
175×*-un-lft-identity
75×times-frac
66×distribute-lft-out
62×unpow-prod-down
44×add-sqr-sqrt
42×add-cube-cbrt
36×cbrt-prod associate-*l*
11×add-exp-log add-cbrt-cube
7×pow1
6×associate-/r/
5×flip3-+ associate-*r* associate-/r* flip-+ associate-/l*
4×pow-unpow add-log-exp
3×div-inv
2×cbrt-undiv +-commutative distribute-rgt-in distribute-lft-in unpow3 associate-*r/ div-exp pow-exp rem-cbrt-cube associate-/l/ rem-cube-cbrt sqr-pow
1×pow-to-exp pow-pow frac-2neg pow1/3 pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
4 → 172
Calls
4 calls:
9.0ms
(* x (+ 0.99229 (* x 0.04481)))
21.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
18.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
19.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

series294.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* x (+ 0.99229 (* x 0.04481)))
93.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
65.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
66.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

simplify84.0ms

Algorithm
egg-herbie
Counts
184 → 184
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
06101971
127051905
250011901

prune275.0ms

Filtered
184 candidates to 93 candidates (50.5%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1840184
Fresh011
Picked011
Done000
Total1842186

Merged error: 0b

Counts
186 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.2b
(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
1.6b
(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
21.7b
(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite356.0ms

Algorithm
rewrite-expression-head
Rules
2146×add-sqr-sqrt
1074×*-un-lft-identity
842×unswap-sqr
639×associate-*l*
632×difference-of-squares
581×times-frac
400×swap-sqr
258×distribute-lft-out
232×associate-/r*
203×*-commutative
154×add-cube-cbrt
142×distribute-lft-out--
140×frac-times
71×flip3-- flip--
70×associate-*l/
58×associate-*r*
47×pow1
25×add-exp-log add-cbrt-cube
20×associate-/l*
19×pow-prod-down
18×associate-*r/
12×distribute-rgt-in distribute-lft-in
11×flip3-+ prod-exp cbrt-unprod flip-+
8×associate-/l/
6×+-commutative
4×frac-2neg clear-num associate-/r/ pow-sqr pow-prod-up add-log-exp
2×cbrt-undiv sub-neg pow-plus div-exp div-inv
1×pow2
Counts
4 → 1024
Calls
4 calls:
8.0ms
(* x (+ 0.99229 (* x 0.04481)))
24.0ms
(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
71.0ms
(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
138.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series327.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(* x (+ 0.99229 (* x 0.04481)))
42.0ms
(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
79.0ms
(/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
135.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify232.0ms

Algorithm
egg-herbie
Counts
1036 → 1036
Iterations

Useful iterations: 1 (43.0ms)

IterNodesCost
0201017746
1500317595

prune888.0ms

Filtered
1036 candidates to 273 candidates (26.4%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New103601036
Fresh000
Picked011
Done011
Total103621038

Merged error: 0b

Counts
1038 → 2

regimes12.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
02310
12310

end0.0ms

sample530.0ms

Algorithm
intervals
Results
439.0ms8000×body80valid