Details

Time bar (total: 3.9m)

sample26.0ms

Algorithm
intervals
Results
11.0ms272×body80valid

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

prune3.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: 20.3b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.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)))
7.0ms
(* z (- b y))
6.0ms
(+ (* x y) (* z (- t a)))
9.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series485.0ms

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

simplify84.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
06021288
12282956
25001937

prune510.0ms

Filtered
165 candidates to 109 candidates (66.1%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New15213165
Fresh000
Picked101
Done000
Total15313166

Merged error: 19.7b

Counts
166 → 13

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
19.7b
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (+ y (* z (- b y))))
60.3b
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log cbrt-prod add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×flip3-+ pow1/3 associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num fma-udef div-inv
Counts
4 → 69
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
7.0ms
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (+ y (* z (- b y))))
1.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

series2.1m

Counts
4 → 12
Calls
4 calls:
203.0ms
(cbrt a)
208.0ms
(cbrt a)
2.0m
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (+ y (* z (- b y))))
840.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

simplify54.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
02591232
19381052
25001980

prune407.0ms

Filtered
81 candidates to 69 candidates (85.2%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New80181
Fresh01212
Picked101
Done000
Total811394

Merged error: 19.7b

Counts
94 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.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:
8.0ms
(* z (- t a))
1.0ms
(fma x y (* z (- t a)))
6.0ms
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
4.0ms
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

series716.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* z (- t a))
49.0ms
(fma x y (* z (- t a)))
508.0ms
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
114.0ms
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

simplify82.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
05201776
121521503
250011426

prune447.0ms

Filtered
175 candidates to 96 candidates (54.9%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1714175
Fresh5712
Picked011
Done000
Total17612188

Merged error: 8.9b

Counts
188 → 12

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (cbrt a) (cbrt a)))
0.6b
(cbrt (cbrt a))
19.7b
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)))))))) (+ y (* z (- b y))))
60.0b
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a))))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×cbrt-prod
9×times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×flip3-+ pow1/3 associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num fma-udef div-inv
Counts
4 → 70
Calls
4 calls:
4.0ms
(cbrt (* (cbrt a) (cbrt a)))
2.0ms
(cbrt (cbrt a))
7.0ms
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)))))))) (+ y (* z (- b y))))
1.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a))))))

series1.7m

Counts
4 → 12
Calls
4 calls:
254.0ms
(cbrt (* (cbrt a) (cbrt a)))
224.0ms
(cbrt (cbrt a))
1.7m
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)))))))) (+ y (* z (- b y))))
601.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a))))))

simplify40.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
03181662
110641494
250011463

prune352.0ms

Filtered
82 candidates to 72 candidates (87.8%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New82082
Fresh01010
Picked011
Done011
Total821294

Merged error: 8.9b

Counts
94 → 12

regimes603.0ms

Accuracy

58.4% (5.1b remaining)

Error of 16.4b against oracle of 11.3b and baseline of 23.5b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06174
16174

end0.0ms

sample601.0ms

Algorithm
intervals
Results
328.0ms8418×body80valid

Profiling

Loading profile data...