Details

Time bar (total: 1.9m)

sample33.0ms

Algorithm
intervals
Results
20.0ms266×body80valid

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

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.7b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- b y))
0.0b
(+ y (* z (- b y)))
0.9b
(+ (* x y) (* z (- t a)))
21.0b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

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

series389.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* z (- b y))
27.0ms
(+ y (* z (- b y)))
43.0ms
(+ (* x y) (* z (- t a)))
288.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify71.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
06021288
12282956
25001937

prune488.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 21.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.7b
(/ 1 (+ y (* z (- b y))))
0.9b
(+ (* x y) (* z (- t a)))
20.8b
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
46×*-un-lft-identity
45×add-cube-cbrt
44×associate-+r+
36×prod-diff
22×distribute-rgt-in distribute-lft-in
20×times-frac
17×add-exp-log
15×associate-*r*
11×add-cbrt-cube
8×add-log-exp
7×pow1
6×flip3-+ flip-+
4×expm1-log1p-u sub-neg fma-def div-exp prod-exp associate-/r/ log1p-expm1-u
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv +-commutative frac-times rec-exp 1-exp associate-*l/ sum-log cbrt-unprod div-inv
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
4 → 153
Calls
4 calls:
5.0ms
(+ y (* z (- b y)))
4.0ms
(/ 1 (+ y (* z (- b y))))
6.0ms
(+ (* x y) (* z (- t a)))
18.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series483.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ y (* z (- b y)))
80.0ms
(/ 1 (+ y (* z (- b y))))
43.0ms
(+ (* x y) (* z (- t a)))
333.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify78.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
06361265
12433974
25002935

prune469.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 21.1b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
54×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
17×add-exp-log
16×associate-/r*
11×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
5×pow1
4×cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num fma-udef
1×pow-flip associate-/r/ inv-pow
Counts
4 → 127
Calls
4 calls:
0.0ms
(fma z (- b y) y)
5.0ms
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
0.0ms
(fma x y (* z (- t a)))
2.0ms
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

series637.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(fma z (- b y) y)
458.0ms
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
43.0ms
(fma x y (* z (- t a)))
112.0ms
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

simplify46.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
03631470
114551322
250011248

prune360.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 9.6b

localize33.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ 1 (+ y (* z (- b y))))
0.8b
(fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z))
20.8b
(* (+ (fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z)) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (/ 1 (+ y (* z (- b y)))))
60.6b
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×add-cube-cbrt times-frac
17×add-exp-log
15×associate-*r*
11×add-cbrt-cube
7×pow1
4×expm1-log1p-u flip3-+ div-exp prod-exp associate-/r/ flip-+ log1p-expm1-u add-log-exp
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv frac-times rec-exp 1-exp associate-*l/ cbrt-unprod fma-udef div-inv
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
4 → 99
Calls
4 calls:
4.0ms
(/ 1 (+ y (* z (- b y))))
0.0ms
(fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z))
16.0ms
(* (+ (fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z)) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (/ 1 (+ y (* z (- b y)))))
0.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

series1.8m

Counts
4 → 12
Calls
4 calls:
79.0ms
(/ 1 (+ y (* z (- b y))))
163.0ms
(fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z))
1.8m
(* (+ (fma x y (* (fma (* (cbrt t) (cbrt t)) (cbrt t) (- (* a 1))) z)) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (/ 1 (+ y (* z (- b y)))))
515.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

simplify59.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
03912076
118121674
250011509

prune471.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 9.6b

regimes484.0ms

Accuracy

11.3% (11.0b remaining)

Error of 21.5b against oracle of 10.5b and baseline of 22.9b

bsearch55.0ms

Steps
ItersRangePoint
9
-8.302889776343523e+35
-7.389710615771375e+29
-8.172541127753492e+35

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02310
12310

end0.0ms

sample854.0ms

Algorithm
intervals
Results
569.0ms8441×body80valid