Details

Time bar (total: 7.6s)

sample26.0ms

Algorithm
intervals
Results
13.0ms268×body80valid

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

prune5.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: 21.6b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.0b
(* z (- t a))
1.6b
(+ (* x y) (* z (- t a)))
20.9b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite32.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:
5.0ms
(+ y (* z (- b y)))
7.0ms
(* z (- t a))
6.0ms
(+ (* x y) (* z (- t a)))
8.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series400.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ y (* z (- b y)))
35.0ms
(* z (- t a))
39.0ms
(+ (* x y) (* z (- t a)))
299.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify72.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
06081288
12360956
25001942

prune380.0ms

Filtered
165 candidates to 109 candidates (66.1%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New15411165
Fresh000
Picked101
Done000
Total15511166

Merged error: 20.9b

Counts
166 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
1.3b
(fma x y (* t z))
1.4b
(+ (fma x y (* t z)) (* z (- a)))
20.9b
(/ (+ (fma x y (* t z)) (* z (- a))) (+ y (* z (- b y))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
22×associate-+r+
18×prod-diff
11×distribute-rgt-in distribute-lft-in
9×times-frac
8×add-log-exp
6×add-exp-log fma-def add-cbrt-cube
4×pow1 expm1-log1p-u flip3-+ distribute-rgt-neg-out flip-+ log1p-expm1-u
3×associate-/r* associate-/l*
2×+-commutative sub-neg div-sub unsub-neg sum-log associate-/r/ fma-udef associate-/l/
1×cbrt-undiv associate-+l+ frac-2neg div-exp clear-num div-inv
Counts
4 → 102
Calls
4 calls:
5.0ms
(+ y (* z (- b y)))
1.0ms
(fma x y (* t z))
3.0ms
(+ (fma x y (* t z)) (* z (- a)))
6.0ms
(/ (+ (fma x y (* t z)) (* z (- a))) (+ y (* z (- b y))))

series389.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ y (* z (- b y)))
40.0ms
(fma x y (* t z))
40.0ms
(+ (fma x y (* t z)) (* z (- a)))
282.0ms
(/ (+ (fma x y (* t z)) (* z (- a))) (+ y (* z (- b y))))

simplify48.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0392914
11532746
25001727

prune334.0ms

Filtered
114 candidates to 91 candidates (79.8%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1122114
Fresh1910
Picked101
Done000
Total11411125

Merged error: 18.9b

Counts
125 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (fma t z (* x y)) (fma (- b y) z y)) (/ a (/ (fma (- b y) z y) z)))
2.6b
(/ a (/ (fma (- b y) z y) z))
13.1b
(/ (fma (- b y) z y) z)
18.6b
(/ (fma t z (* x y)) (fma (- b y) z y))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
1367×times-frac
853×add-sqr-sqrt
838×*-un-lft-identity
832×add-cube-cbrt
572×prod-diff
104×div-inv
19×associate-/r*
14×associate-/r/
13×add-exp-log fma-neg add-cbrt-cube
9×associate-/l*
6×add-log-exp difference-of-squares
5×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg clear-num
2×distribute-lft-out--
1×sub-neg flip3-- diff-log frac-sub flip--
Counts
4 → 738
Calls
4 calls:
44.0ms
(- (/ (fma t z (* x y)) (fma (- b y) z y)) (/ a (/ (fma (- b y) z y) z)))
6.0ms
(/ a (/ (fma (- b y) z y) z))
3.0ms
(/ (fma (- b y) z y) z)
3.0ms
(/ (fma t z (* x y)) (fma (- b y) z y))

series615.0ms

Counts
4 → 12
Calls
4 calls:
380.0ms
(- (/ (fma t z (* x y)) (fma (- b y) z y)) (/ a (/ (fma (- b y) z y) z)))
64.0ms
(/ a (/ (fma (- b y) z y) z))
37.0ms
(/ (fma (- b y) z y) z)
135.0ms
(/ (fma t z (* x y)) (fma (- b y) z y))

simplify283.0ms

Algorithm
egg-herbie
Counts
750 → 750
Iterations

Useful iterations: 1 (40.0ms)

IterNodesCost
0225132973
1500126303

prune2.0s

Filtered
750 candidates to 400 candidates (53.3%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New7446750
Fresh3710
Picked101
Done000
Total74813761

Merged error: 11.4b

Counts
761 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (fma t z (* x y)) (fma (- b y) z y)) (/ a (- (+ (/ y z) b) y)))
0.0b
(- (+ (/ y z) b) y)
2.6b
(/ a (- (+ (/ y z) b) y))
18.6b
(/ (fma t z (* x y)) (fma (- b y) z y))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
581×*-un-lft-identity
496×times-frac
436×add-sqr-sqrt
336×add-cube-cbrt
324×prod-diff
94×distribute-lft-out--
49×distribute-lft-out
48×difference-of-squares
40×div-inv
28×associate-/r/
17×fma-neg
16×flip3-- flip--
11×add-log-exp
9×associate-/r*
8×add-exp-log add-cbrt-cube
6×associate-/l*
4×pow1 expm1-log1p-u log1p-expm1-u
3×diff-log
2×cbrt-undiv sub-neg frac-2neg div-exp clear-num
1×associate--l+ sum-log frac-sub
Counts
4 → 455
Calls
4 calls:
34.0ms
(- (/ (fma t z (* x y)) (fma (- b y) z y)) (/ a (- (+ (/ y z) b) y)))
10.0ms
(- (+ (/ y z) b) y)
10.0ms
(/ a (- (+ (/ y z) b) y))
3.0ms
(/ (fma t z (* x y)) (fma (- b y) z y))

series524.0ms

Counts
4 → 12
Calls
4 calls:
332.0ms
(- (/ (fma t z (* x y)) (fma (- b y) z y)) (/ a (- (+ (/ y z) b) y)))
22.0ms
(- (+ (/ y z) b) y)
40.0ms
(/ a (- (+ (/ y z) b) y))
130.0ms
(/ (fma t z (* x y)) (fma (- b y) z y))

simplify183.0ms

Algorithm
egg-herbie
Counts
467 → 467
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
0110716723
1318312746
2500111687

prune680.0ms

Filtered
467 candidates to 161 candidates (34.5%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New4625467
Fresh4812
Picked101
Done000
Total46713480

Merged error: 9.9b

Counts
480 → 13

regimes539.0ms

Accuracy

44.5% (3.4b remaining)

Error of 14.7b against oracle of 11.3b and baseline of 17.5b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04338
14538
24538

end0.0ms

sample700.0ms

Algorithm
intervals
Results
418.0ms8397×body80valid