Details

Time bar (total: 6.5s)

sample37.0ms

Algorithm
intervals
Results
18.0ms269×body80valid

simplify91.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04816
110216
229216
380316
4214316
5361616
6416616
7500216

prune4.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: 32.4b

Counts
2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ y a) y) b) y)
0.1b
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
31.5b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity
12×add-exp-log add-cbrt-cube
10×pow1
9×times-frac associate-*r* associate-*l*
6×associate-*l/
5×flip3-+ flip-+
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp associate-/r* *-commutative cbrt-unprod associate-/l* unswap-sqr
2×associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 99
Calls
4 calls:
9.0ms
(* (+ (* (+ y a) y) b) y)
13.0ms
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
12.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
26.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series517.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (+ (* (+ y a) y) b) y)
81.0ms
(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
70.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
332.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify71.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
05331292
121631151
250011130

prune585.0ms

Filtered
111 candidates to 97 candidates (87.4%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New9813111
Fresh000
Picked101
Done000
Total9913112

Merged error: 31.1b

Counts
112 → 13

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)
0.1b
(* (+ (* (+ y a) y) b) y)
0.1b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
31.5b
(/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
10×add-exp-log add-cbrt-cube
9×times-frac
8×pow1
6×associate-*r* associate-*l*
4×expm1-log1p-u associate-*l/ log1p-expm1-u add-log-exp
3×flip3-+ associate-/r* flip-+ associate-/l*
2×pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod unswap-sqr
1×cbrt-undiv frac-2neg div-exp clear-num fma-udef div-inv
Counts
4 → 85
Calls
4 calls:
1.0ms
(fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)
9.0ms
(* (+ (* (+ y a) y) b) y)
12.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
13.0ms
(/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series523.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)
34.0ms
(* (+ (* (+ y a) y) b) y)
70.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
322.0ms
(/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify55.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0398970
11510879
25003868

prune476.0ms

Filtered
97 candidates to 82 candidates (84.5%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New91697
Fresh6612
Picked101
Done000
Total9812110

Merged error: 31.1b

Counts
110 → 12

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)
0.0b
(fma (fma (fma (+ y a) y b) y c) y i)
0.1b
(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
31.6b
(* (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
22×prod-exp
18×add-cbrt-cube
12×1-exp div-exp
11×add-sqr-sqrt
9×pow1 add-cube-cbrt *-un-lft-identity
7×associate-*r*
6×rec-exp times-frac
5×cbrt-unprod
4×cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* associate-/l*
2×pow-flip pow-prod-down fma-udef div-inv
1×frac-2neg associate-*r/ clear-num associate-/r* un-div-inv *-commutative inv-pow unswap-sqr
Counts
4 → 90
Calls
4 calls:
1.0ms
(fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)
1.0ms
(fma (fma (fma (+ y a) y b) y c) y i)
4.0ms
(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
8.0ms
(* (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

series558.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)
95.0ms
(fma (fma (fma (+ y a) y b) y c) y i)
59.0ms
(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
308.0ms
(* (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

simplify41.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0312863
11072719
25001696

prune406.0ms

Filtered
102 candidates to 64 candidates (62.7%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1020102
Fresh01111
Picked011
Done000
Total10212114

Merged error: 31.1b

Counts
114 → 12

localize28.0ms

Local error

Found 4 expressions with local error:

31.5b
(/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
32.0b
(cbrt (* (+ (* (+ y a) y) b) y))
32.0b
(cbrt (* (+ (* (+ y a) y) b) y))
32.0b
(cbrt (* (+ (* (+ y a) y) b) y))

rewrite45.0ms

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

series755.0ms

Counts
4 → 12
Calls
4 calls:
446.0ms
(/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (+ (* (+ (* (* (cbrt (* (+ (* (+ y a) y) b) y)) (cbrt (* (+ (* (+ y a) y) b) y))) (cbrt (* (+ (* (+ y a) y) b) y))) c) y) i))
103.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
102.0ms
(cbrt (* (+ (* (+ y a) y) b) y))
104.0ms
(cbrt (* (+ (* (+ y a) y) b) y))

simplify81.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 3 (63.0ms)

IterNodesCost
02621543
17461407
229081337
350011262

prune441.0ms

Filtered
82 candidates to 75 candidates (91.5%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New82082
Fresh01010
Picked011
Done011
Total821294

Merged error: 31.1b

Counts
94 → 12

regimes714.0ms

Accuracy

25.6% (0.9b remaining)

Error of 28.8b against oracle of 28.0b and baseline of 29.1b

bsearch4.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05927
16127
26127

end0.0ms

sample905.0ms

Algorithm
intervals
Results
562.0ms8247×body80valid