Details

Time bar (total: 37.1s)

sample38.0ms

Algorithm
intervals
Results
18.0ms391×body80valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (39.0ms)

IterNodesCost
03810
11189
24289
317639
450028

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- t 1.0) a)
0.0b
(- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
0.0b
(fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
0.0b
(fma b (- (+ y t) 2.0) x)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
3×fma-udef
2×flip3-- associate-*l/ flip--
1×sub-neg associate--l+ *-commutative
Counts
4 → 10
Calls
4 calls:
3.0ms
(* (- t 1.0) a)
2.0ms
(- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
1.0ms
(fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
1.0ms
(fma b (- (+ y t) 2.0) x)

series298.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (- t 1.0) a)
72.0ms
(- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
155.0ms
(fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
44.0ms
(fma b (- (+ y t) 2.0) x)

simplify44.0ms

Algorithm
egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 3 (41.0ms)

IterNodesCost
0154113
143699
2169193
3500191

prune61.0ms

Filtered
22 candidates to 15 candidates (68.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New21122
Fresh000
Picked011
Done000
Total21223

Merged error: 0.0b

Counts
23 → 2

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* (- t 1.0) a) 3)
0.1b
(pow (fma b (- (+ y t) 2.0) x) 3)
8.2b
(- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))
46.1b
(/ (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)) (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
13×sqr-pow
9×unpow3
8×prod-diff
6×unpow-prod-down
3×*-commutative
2×difference-cubes pow-to-exp flip3-- fma-neg flip-- associate-/l/ associate-/l* difference-of-squares
1×sub-neg frac-2neg div-sub clear-num div-inv
Counts
4 → 32
Calls
4 calls:
3.0ms
(pow (* (- t 1.0) a) 3)
1.0ms
(pow (fma b (- (+ y t) 2.0) x) 3)
6.0ms
(- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))
8.0ms
(/ (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)) (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))))

series16.0s

Counts
4 → 12
Calls
4 calls:
31.0ms
(pow (* (- t 1.0) a) 3)
269.0ms
(pow (fma b (- (+ y t) 2.0) x) 3)
1.6s
(- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))
14.1s
(/ (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)) (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))))

simplify48.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0326653
11206564
25002550

prune372.0ms

Filtered
44 candidates to 33 candidates (75.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New43144
Fresh000
Picked101
Done011
Total44246

Merged error: 0.0b

Counts
46 → 2

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* (- t 1.0) a) 3)
0.2b
(/ 1 (/ (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))))
8.2b
(- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))
47.0b
(/ (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
14×sqr-pow
9×associate-/r/
8×unpow3 prod-diff
7×associate-/r*
6×unpow-prod-down
4×clear-num
3×difference-cubes flip3-- frac-2neg *-commutative flip-- div-inv difference-of-squares
2×fma-neg
1×pow-to-exp sub-neg remove-double-div inv-pow
Counts
4 → 41
Calls
4 calls:
3.0ms
(pow (* (- t 1.0) a) 3)
7.0ms
(/ 1 (/ (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))))
6.0ms
(- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))
6.0ms
(/ (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)))

series18.6s

Counts
4 → 12
Calls
4 calls:
31.0ms
(pow (* (- t 1.0) a) 3)
14.1s
(/ 1 (/ (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))))
1.5s
(- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3))
2.9s
(/ (fma (fma b (- (+ y t) 2.0) x) (fma a (- t 1.0) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)))

simplify45.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0307815
11166717
25002645

prune252.0ms

Filtered
53 candidates to 39 candidates (73.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New53053
Fresh000
Picked011
Done011
Total53255

Merged error: 0.0b

Counts
55 → 2

regimes133.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
0188
1188

end0.0ms

sample1.0s

Algorithm
intervals
Results
600.0ms12435×body80valid
0.0ms2×body160valid
0.0ms1×body640valid
0.0ms1×body320valid