Details

Time bar (total: 5.5s)

sample42.0ms

Algorithm
intervals
Results
21.0ms414×body80valid
0.0ms1×body640valid

simplify41.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (40.0ms)

IterNodesCost
03810
11189
24289
317639
450028

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
26×associate-*l/
25×add-sqr-sqrt
22×*-un-lft-identity
19×flip3-- flip--
16×associate-*l*
13×add-cube-cbrt add-log-exp
12×frac-add
10×pow1 add-exp-log associate-+l+ add-cbrt-cube
9×associate-*r*
8×frac-sub
6×prod-diff
5×associate--l+
4×expm1-log1p-u log1p-expm1-u distribute-lft-out--
3×fma-def diff-log pow-prod-down prod-exp sum-log *-commutative cbrt-unprod difference-of-squares unswap-sqr
2×sub-neg
1×+-commutative associate-+l- flip3-+ flip-+ distribute-lft-out
Counts
4 → 114
Calls
4 calls:
65.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
10.0ms
(* (- y 1.0) z)
10.0ms
(* (- t 1.0) a)
53.0ms
(* (- (+ y t) 2.0) b)

series238.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
28.0ms
(* (- y 1.0) z)
32.0ms
(* (- t 1.0) a)
27.0ms
(* (- (+ y t) 2.0) b)

simplify113.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
09441336
148931221
250011221

prune412.0ms

Filtered
126 candidates to 92 candidates (73.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- (* (- y 1.0) z)) (* (- t 1.0) a))
0.0b
(* (- y 1.0) z)
0.0b
(* (- t 1.0) a)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×*-un-lft-identity
12×associate-*l/
10×associate-*l*
9×add-cube-cbrt
7×pow1 add-exp-log flip3-- add-cbrt-cube flip-- add-log-exp
6×fma-neg associate-*r* prod-diff
4×frac-sub distribute-neg-frac
3×expm1-log1p-u log1p-expm1-u
2×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×associate--l- neg-sub0 sub-neg neg-log
Counts
3 → 80
Calls
3 calls:
8.0ms
(- (- (* (- y 1.0) z)) (* (- t 1.0) a))
10.0ms
(* (- y 1.0) z)
10.0ms
(* (- t 1.0) a)

series123.0ms

Counts
3 → 9
Calls
3 calls:
61.0ms
(- (- (* (- y 1.0) z)) (* (- t 1.0) a))
29.0ms
(* (- y 1.0) z)
33.0ms
(* (- t 1.0) a)

simplify56.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0452541
11938480
25001475

prune280.0ms

Filtered
89 candidates to 63 candidates (70.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a)))
3.9b
(* (- (* y y) (* 1.0 1.0)) z)
4.1b
(* (- (* t t) (* 1.0 1.0)) a)
18.1b
(/ (- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))) (* (+ y 1.0) (+ t 1.0)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
262×associate-*l/
132×frac-times
128×frac-sub
102×flip3-+ flip-+
100×flip3-- flip--
96×distribute-neg-frac
66×associate-*r/ associate-/l/
14×add-sqr-sqrt
13×add-exp-log add-cbrt-cube
10×add-cube-cbrt *-un-lft-identity
8×pow1 associate-*l* associate-/r/
6×associate-*r* add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×times-frac prod-exp cbrt-unprod associate-/l*
2×cbrt-undiv div-exp pow-prod-down associate--l+ *-commutative difference-of-squares unswap-sqr
1×distribute-rgt-in sub-neg frac-2neg distribute-lft-in fma-neg diff-log div-sub prod-diff clear-num associate-/r* div-inv
Counts
4 → 226
Calls
4 calls:
30.0ms
(- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a)))
10.0ms
(* (- (* y y) (* 1.0 1.0)) z)
10.0ms
(* (- (* t t) (* 1.0 1.0)) a)
44.0ms
(/ (- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))) (* (+ y 1.0) (+ t 1.0)))

series783.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a)))
39.0ms
(* (- (* y y) (* 1.0 1.0)) z)
45.0ms
(* (- (* t t) (* 1.0 1.0)) a)
554.0ms
(/ (- (* (- (* (- (* y y) (* 1.0 1.0)) z)) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))) (* (+ y 1.0) (+ t 1.0)))

simplify108.0ms

Algorithm
egg-herbie
Counts
238 → 238
Iterations

Useful iterations: 1 (49.0ms)

IterNodesCost
024536075
150015808

prune1.9s

Filtered
238 candidates to 217 candidates (91.2%)
Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes125.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
02610
12810
22810

end0.0ms

sample994.0ms

Algorithm
intervals
Results
574.0ms12398×body80valid
0.0ms2×body640valid
0.0ms1×body320valid