Details

Time bar (total: 7.9s)

sample25.0ms

Algorithm
intervals
Results
11.0ms269×body80valid

simplify132.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0248
1438
2758
31208
41568
51898
62658
74518
810238
936328
1050018

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.0b
(* z (- t a))
0.3b
(+ (* x y) (* z (- t a)))
21.6b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
54×prod-diff
53×*-un-lft-identity
51×add-cube-cbrt
44×associate-+r+
33×distribute-rgt-in distribute-lft-in
9×times-frac
8×add-exp-log add-cbrt-cube add-log-exp
6×pow1 sub-neg
5×associate-*r*
4×expm1-log1p-u fma-def flip3-+ flip-+ log1p-expm1-u
3×associate-*l* associate-/r* associate-/l*
2×+-commutative associate-*r/ sum-log associate-/r/ associate-/l/
1×cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 153
Calls
4 calls:
6.0ms
(+ y (* z (- b y)))
12.0ms
(* z (- t a))
6.0ms
(+ (* x y) (* z (- t a)))
12.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series456.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ y (* z (- b y)))
42.0ms
(* z (- t a))
44.0ms
(+ (* x y) (* z (- t a)))
339.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify80.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
06081288
12360956
25001942

prune526.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 21.9b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.3b
(+ (* x y) (* z (- t a)))
0.5b
(/ 1 (fma (- b y) z y))
21.2b
(* (+ (* x y) (* z (- t a))) (/ 1 (fma (- b y) z y)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
49×*-un-lft-identity
46×add-cube-cbrt
36×prod-diff
22×distribute-rgt-in associate-+r+ distribute-lft-in
20×times-frac
19×add-exp-log
18×associate-*r*
13×add-cbrt-cube
9×pow1
6×associate-*l* add-log-exp
5×prod-exp
4×expm1-log1p-u sub-neg div-exp log1p-expm1-u unswap-sqr
3×flip3-+ associate-*r/ associate-/r* cbrt-unprod flip-+ associate-/l*
2×cbrt-undiv frac-times rec-exp 1-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative flip3-- pow-flip fma-def frac-2neg clear-num sum-log un-div-inv flip-- distribute-lft-out-- inv-pow difference-of-squares
Counts
4 → 157
Calls
4 calls:
15.0ms
(* z (- t a))
6.0ms
(+ (* x y) (* z (- t a)))
2.0ms
(/ 1 (fma (- b y) z y))
14.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (fma (- b y) z y)))

series523.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* z (- t a))
49.0ms
(+ (* x y) (* z (- t a)))
99.0ms
(/ 1 (fma (- b y) z y))
338.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (fma (- b y) z y)))

simplify74.0ms

Algorithm
egg-herbie
Counts
169 → 169
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
05331248
12155961
25001930

prune461.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 21.9b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.3b
(fma x y (* z (- t a)))
0.3b
(/ 1 (/ (fma (- b y) z y) (fma x y (* z (- t a)))))
21.6b
(/ (fma (- b y) z y) (fma x y (* z (- t a))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
72×add-sqr-sqrt
70×*-un-lft-identity
68×add-cube-cbrt
19×add-exp-log
18×prod-diff
16×associate-/r*
13×add-cbrt-cube
11×distribute-rgt-in distribute-lft-in
8×div-exp
7×pow1
6×div-inv associate-/l*
5×associate-*r*
4×cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l*
2×sub-neg rec-exp frac-2neg 1-exp associate-*r/ clear-num
1×flip3-- pow-flip pow-prod-down prod-exp associate-/r/ *-commutative flip-- cbrt-unprod fma-udef distribute-lft-out-- inv-pow difference-of-squares unswap-sqr
Counts
4 → 163
Calls
4 calls:
12.0ms
(* z (- t a))
0.0ms
(fma x y (* z (- t a)))
5.0ms
(/ 1 (/ (fma (- b y) z y) (fma x y (* z (- t a)))))
2.0ms
(/ (fma (- b y) z y) (fma x y (* z (- t a))))

series1.5s

Counts
4 → 12
Calls
4 calls:
37.0ms
(* z (- t a))
58.0ms
(fma x y (* z (- t a)))
1.2s
(/ 1 (/ (fma (- b y) z y) (fma x y (* z (- t a)))))
166.0ms
(/ (fma (- b y) z y) (fma x y (* z (- t a))))

simplify75.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
05201776
121461503
250011426

prune447.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 8.2b

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma x y (* z (- t a)))
0.5b
(/ 1 (fma (- b y) z y))
0.8b
(/ 1 (fma x y (* z (- t a))))
20.5b
(/ (/ 1 (fma (- b y) z y)) (/ 1 (fma x y (* z (- t a)))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
439×times-frac
216×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
52×add-exp-log
36×div-exp
31×div-inv
20×add-cbrt-cube
19×associate-/r* associate-/l*
10×cbrt-undiv rec-exp 1-exp
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num
2×pow-flip inv-pow
1×associate-/r/ fma-udef associate-/l/
Counts
4 → 305
Calls
4 calls:
0.0ms
(fma x y (* z (- t a)))
2.0ms
(/ 1 (fma (- b y) z y))
2.0ms
(/ 1 (fma x y (* z (- t a))))
12.0ms
(/ (/ 1 (fma (- b y) z y)) (/ 1 (fma x y (* z (- t a)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
57.0ms
(fma x y (* z (- t a)))
99.0ms
(/ 1 (fma (- b y) z y))
63.0ms
(/ 1 (fma x y (* z (- t a))))
1.3s
(/ (/ 1 (fma (- b y) z y)) (/ 1 (fma x y (* z (- t a)))))

simplify72.0ms

Algorithm
egg-herbie
Counts
317 → 317
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
011774596
150024026

prune678.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 8.2b

regimes530.0ms

Accuracy

69.4% (3.9b remaining)

Error of 14.5b against oracle of 10.5b and baseline of 23.4b

bsearch3.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03754
14054
24354
34354

end0.0ms

sample661.0ms

Algorithm
intervals
Results
373.0ms8389×body80valid