Details

Time bar (total: 6.5s)

sample27.0ms

Algorithm
intervals
Results
12.0ms270×body80valid

simplify145.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

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

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: 21.9b

Counts
2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- b y))
0.0b
(+ y (* z (- b y)))
0.2b
(+ (* x y) (* z (- t a)))
21.2b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
154×*-un-lft-identity
66×add-sqr-sqrt
60×add-cube-cbrt
54×prod-diff
46×distribute-lft-out
44×associate-+r+
43×associate-*l*
35×times-frac
33×distribute-rgt-in distribute-lft-in
15×fma-def
8×add-exp-log associate-*r* add-cbrt-cube add-log-exp
7×associate-/l*
6×pow1 sub-neg
5×associate-/r*
4×expm1-log1p-u flip3-+ flip-+ log1p-expm1-u
2×+-commutative associate-*r/ sum-log associate-/r/ *-commutative associate-/l/ unswap-sqr
1×cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 202
Calls
4 calls:
7.0ms
(* z (- b y))
11.0ms
(+ y (* z (- b y)))
18.0ms
(+ (* x y) (* z (- t a)))
29.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series504.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* z (- b y))
33.0ms
(+ y (* z (- b y)))
49.0ms
(+ (* x y) (* z (- t a)))
374.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify95.0ms

Algorithm
egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
05911656
122121308
250021257

prune424.0ms

Filtered
214 candidates to 121 candidates (56.5%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New20212214
Fresh000
Picked101
Done000
Total20312215

Merged error: 21.3b

Counts
215 → 12

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.2b
(+ (* x y) (* z (- t a)))
0.8b
(/ 1 (+ y (* z (- b y))))
20.9b
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
120×*-un-lft-identity
67×add-sqr-sqrt
58×add-cube-cbrt
44×associate-+r+
36×prod-diff
32×times-frac
30×distribute-lft-out
29×associate-*l*
24×associate-*r*
22×distribute-rgt-in frac-times distribute-lft-in
20×associate-/r*
17×add-exp-log
16×flip3-+ flip-+
15×fma-def
13×associate-/l*
11×associate-*r/ add-cbrt-cube
8×add-log-exp
7×pow1
5×clear-num
4×expm1-log1p-u sub-neg frac-2neg div-exp prod-exp associate-/r/ log1p-expm1-u unswap-sqr
3×un-div-inv
2×cbrt-undiv +-commutative rec-exp 1-exp associate-*l/ sum-log *-commutative cbrt-unprod div-inv
1×pow-flip pow-prod-down inv-pow
Counts
4 → 220
Calls
4 calls:
15.0ms
(+ y (* z (- b y)))
19.0ms
(+ (* x y) (* z (- t a)))
11.0ms
(/ 1 (+ y (* z (- b y))))
36.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series544.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ y (* z (- b y)))
45.0ms
(+ (* x y) (* z (- t a)))
93.0ms
(/ 1 (+ y (* z (- b y))))
368.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify102.0ms

Algorithm
egg-herbie
Counts
232 → 232
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
07001857
128161526
250011457

prune467.0ms

Filtered
232 candidates to 139 candidates (59.9%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New2293232
Fresh4711
Picked011
Done000
Total23311244

Merged error: 21.3b

Counts
244 → 11

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 z (- b y) y) (fma x y (* z (- t a)))))
21.3b
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

rewrite26.0ms

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

series786.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* z (- t a))
66.0ms
(fma x y (* z (- t a)))
552.0ms
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
113.0ms
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

simplify82.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
05241816
121621541
250011461

prune327.0ms

Filtered
185 candidates to 100 candidates (54.1%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1805185
Fresh549
Picked101
Done011
Total18610196

Merged error: 10.6b

Counts
196 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
213.0ms
(cbrt x)
201.0ms
(cbrt x)
218.0ms
(cbrt x)
443.0ms
(/ (fma (* (cbrt x) (cbrt x)) (* (cbrt x) y) (* z (- t a))) (+ y (* z (- b y))))

simplify80.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 3 (70.0ms)

IterNodesCost
0185869
1545803
22216760
35001727

prune225.0ms

Filtered
90 candidates to 71 candidates (78.9%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New88290
Fresh358
Picked011
Done011
Total919100

Merged error: 10.6b

Counts
100 → 9

regimes445.0ms

Accuracy

27.7% (8.6b remaining)

Error of 19.8b against oracle of 11.2b and baseline of 23.1b

bsearch133.0ms

Steps
ItersRangePoint
10
1.0775587966213066e+52
1.6132141776490707e+64
4.741326844130937e+62
8
-2.2868148255858016e+206
-3.459071203583835e+203
-3.516151148646383e+203

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03612
13612

end0.0ms

sample702.0ms

Algorithm
intervals
Results
389.0ms8406×body80valid