Details

Time bar (total: 2.0s)

sample15.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

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
4×flip3-+ flip-+
3×+-commutative
2×distribute-rgt-in distribute-lft-in associate-*r/ associate-/r/ associate-/l/
1×sub-neg flip3-- frac-2neg clear-num *-commutative flip-- div-inv
Counts
4 → 21
Calls
4 calls:
3.0ms
(+ 2.30753 (* x 0.27061))
8.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
4.0ms
(* x (+ 0.99229 (* x 0.04481)))
6.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series244.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ 2.30753 (* x 0.27061))
86.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
66.0ms
(* x (+ 0.99229 (* x 0.04481)))
59.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify96.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0245220
1765220
23330203
35002203

prune74.0ms

Filtered
33 candidates to 23 candidates (69.7%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New31233
Fresh000
Picked101
Done000
Total32234

Merged error: 0b

Counts
34 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)
0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.4b
(/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
14.6b
(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
7×flip3-+ flip-+
6×frac-times
5×associate-*r/ clear-num
4×frac-2neg associate-/r/
3×associate-*r*
2×+-commutative distribute-rgt-in distribute-lft-in associate-*l/ un-div-inv *-commutative div-inv
1×sub-neg flip3-- flip-- inv-pow
Counts
4 → 34
Calls
4 calls:
10.0ms
(- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)
4.0ms
(* x (+ 0.99229 (* x 0.04481)))
4.0ms
(/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
8.0ms
(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))

series260.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)
70.0ms
(* x (+ 0.99229 (* x 0.04481)))
39.0ms
(/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
61.0ms
(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))

simplify45.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0329338
11360333
25002317

prune97.0ms

Filtered
46 candidates to 30 candidates (65.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New45146
Fresh101
Picked011
Done000
Total46248

Merged error: 0b

Counts
48 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
0.3b
(/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
14.6b
(* (+ 2.30753 (* x 0.27061)) (* (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481))))))
20.3b
(* (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
106×frac-times
60×*-commutative
52×associate-/r* difference-of-squares
45×associate-*r/
35×flip3-- flip--
32×associate-*l/
30×flip3-+ flip-+
18×distribute-rgt-in distribute-lft-in
13×frac-2neg clear-num
8×associate-*l*
7×associate-*r*
6×sub-neg associate-/r/
4×+-commutative
3×div-inv
2×swap-sqr
1×pow2 inv-pow
Counts
4 → 150
Calls
4 calls:
9.0ms
(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
10.0ms
(/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
22.0ms
(* (+ 2.30753 (* x 0.27061)) (* (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481))))))
13.0ms
(* (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series329.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))
68.0ms
(/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))
120.0ms
(* (+ 2.30753 (* x 0.27061)) (* (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481))))))
94.0ms
(* (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify56.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
08413060
150013030

prune326.0ms

Filtered
162 candidates to 87 candidates (53.7%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1620162
Fresh000
Picked011
Done011
Total1622164

Merged error: 0b

Counts
164 → 2

regimes15.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
0259
1259

end0.0ms

sample326.0ms

Algorithm
intervals
Results
238.0ms8000×body80valid