Details

Time bar (total: 6.8s)

sample42.0ms

Algorithm
intervals
Results
22.0ms411×body80valid

simplify44.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (42.0ms)

IterNodesCost
03810
11189
24289
317639
450028

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma b (- (+ y t) 2.0) x)
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)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×pow1 add-exp-log expm1-log1p-u fma-neg prod-diff add-cbrt-cube fma-udef log1p-expm1-u
1×sub-neg flip3-- diff-log associate--l+ flip--
Counts
3 → 41
Calls
3 calls:
0.0ms
(fma b (- (+ y t) 2.0) x)
3.0ms
(- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
0.0ms
(fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))

series283.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(fma b (- (+ y t) 2.0) x)
74.0ms
(- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
164.0ms
(fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))

simplify75.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 3 (68.0ms)

IterNodesCost
0183396
1521345
22642332
35002314

prune183.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
16×sqrt-div
14×add-cube-cbrt *-un-lft-identity
10×sqrt-pow1 pow1/2
8×flip3-- swap-sqr flip--
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×pow-prod-up
4×expm1-log1p-u frac-times log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-*r/ associate-*l/
1×pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod fma-udef
Counts
4 → 103
Calls
4 calls:
0.0ms
(fma (- 1.0 y) z (* (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))))
4.0ms
(sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
4.0ms
(sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
15.0ms
(* (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))

series2.1s

Counts
4 → 12
Calls
4 calls:
164.0ms
(fma (- 1.0 y) z (* (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))))
954.0ms
(sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
934.0ms
(sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
75.0ms
(* (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))

simplify51.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
03191490
111491302
250011249

prune334.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
0.1b
(sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
0.2b
(* (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (* (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))))
0.3b
(* (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
122×sqrt-div
91×sqrt-pow1 sqrt-prod
69×pow1
60×add-sqr-sqrt
47×pow1/2
39×pow-prod-up
35×flip3-- flip--
32×frac-times
22×add-cube-cbrt *-un-lft-identity
17×swap-sqr
16×associate-*r/
15×associate-*l*
12×pow-prod-down
11×add-exp-log pow-sqr add-cbrt-cube unswap-sqr
10×associate-*r* associate-*l/
4×expm1-log1p-u rem-sqrt-square prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×sqrt-unprod
2×*-commutative
1×pow2 pow-plus rem-square-sqrt
Counts
4 → 205
Calls
4 calls:
3.0ms
(sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
3.0ms
(sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
56.0ms
(* (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (* (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))))
21.0ms
(* (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
257.0ms
(sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
255.0ms
(sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))
79.0ms
(* (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (* (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))))
973.0ms
(* (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (sqrt (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))))

simplify101.0ms

Algorithm
egg-herbie
Counts
217 → 217
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
06943628
123953170
250023114

prune651.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

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

sample995.0ms

Algorithm
intervals
Results
563.0ms12517×body80valid
0.0ms2×body640valid
0.0ms2×body320valid
0.0ms2×body160valid