Details

Time bar (total: 4.3s)

sample29.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
2.0ms17×body640valid
1.0ms14×body320valid
1.0ms7×body1280valid
0.0ms1×body2560valid
0.0ms3×body160valid

simplify53.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0236
1465
21285
33625
410245
522965
650015

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 13.6b

Counts
2 → 2

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- t x) (- a z))
13.7b
(fma (- y z) (/ (- t x) (- a z)) x)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt *-un-lft-identity
25×times-frac
14×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
5×associate-/r* associate-/l*
4×add-exp-log add-cbrt-cube
2×pow1 expm1-log1p-u flip3-- associate-/r/ flip-- log1p-expm1-u associate-/l/ add-log-exp
1×cbrt-undiv frac-2neg div-sub div-exp clear-num fma-udef div-inv
Counts
2 → 64
Calls
2 calls:
9.0ms
(/ (- t x) (- a z))
1.0ms
(fma (- y z) (/ (- t x) (- a z)) x)

series153.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(/ (- t x) (- a z))
97.0ms
(fma (- y z) (/ (- t x) (- a z)) x)

simplify58.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 3 (51.0ms)

IterNodesCost
0266450
1730425
22486423
35003421

prune156.0ms

Filtered
70 candidates to 51 candidates (72.9%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New581270
Fresh011
Picked101
Done000
Total591372

Merged error: 6.1b

Counts
72 → 13

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (- a z))
0.2b
(* (- t x) (/ 1 (- a z)))
13.7b
(fma (- y z) (* (- t x) (/ 1 (- a z))) x)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
58×add-sqr-sqrt
53×*-un-lft-identity
32×times-frac
29×add-cube-cbrt
22×frac-times
21×associate-*r*
20×associate-/r*
16×add-exp-log
14×flip3-- flip--
13×associate-/l*
11×associate-*r/ distribute-lft-out-- difference-of-squares
10×add-cbrt-cube
6×pow1
5×associate-*l* clear-num
4×frac-2neg div-exp prod-exp associate-/r/
3×expm1-log1p-u un-div-inv log1p-expm1-u add-log-exp unswap-sqr
2×cbrt-undiv rec-exp 1-exp associate-*l/ cbrt-unprod div-inv
1×pow-flip pow-prod-down *-commutative fma-udef inv-pow
Counts
3 → 137
Calls
3 calls:
5.0ms
(/ 1 (- a z))
15.0ms
(* (- t x) (/ 1 (- a z)))
1.0ms
(fma (- y z) (* (- t x) (/ 1 (- a z))) x)

series185.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(/ 1 (- a z))
54.0ms
(* (- t x) (/ 1 (- a z)))
95.0ms
(fma (- y z) (* (- t x) (/ 1 (- a z))) x)

simplify59.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0431830
12055743
25002683

prune245.0ms

Filtered
146 candidates to 85 candidates (58.2%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1397146
Fresh6612
Picked011
Done000
Total14514159

Merged error: 5.5b

Counts
159 → 14

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
1.8b
(+ (* (/ (- t x) (- a z)) (- y z)) x)
5.3b
(* (/ (- t x) (- a z)) (- y z))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
160×add-sqr-sqrt
154×*-un-lft-identity
77×times-frac
70×add-cube-cbrt
63×associate-*l*
43×fma-def
40×distribute-lft-out-- difference-of-squares
36×prod-diff
30×frac-times
23×flip3-- flip--
22×distribute-rgt-in associate-+l+ distribute-lft-in
20×associate-/r* associate-/l*
15×associate-*l/
10×add-exp-log associate-*r* add-cbrt-cube
8×associate-/l/
6×associate-/r/
5×pow1 add-log-exp
4×sub-neg frac-2neg clear-num unswap-sqr
3×expm1-log1p-u log1p-expm1-u div-inv
2×cbrt-undiv associate-*r/ div-exp prod-exp *-commutative cbrt-unprod distribute-lft-out
1×+-commutative flip3-+ div-sub pow-prod-down sum-log flip-+
Counts
3 → 256
Calls
3 calls:
9.0ms
(/ (- t x) (- a z))
39.0ms
(+ (* (/ (- t x) (- a z)) (- y z)) x)
20.0ms
(* (/ (- t x) (- a z)) (- y z))

series416.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(/ (- t x) (- a z))
149.0ms
(+ (* (/ (- t x) (- a z)) (- y z)) x)
216.0ms
(* (/ (- t x) (- a z)) (- y z))

simplify115.0ms

Algorithm
egg-herbie
Counts
265 → 265
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
09451922
144661698
250011698

prune496.0ms

Filtered
265 candidates to 183 candidates (69.1%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New25510265
Fresh8412
Picked101
Done101
Total26514279

Merged error: 3.4b

Counts
279 → 14

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- y z) (- a z))
1.1b
(+ (* (- t x) (/ (- y z) (- a z))) x)
2.3b
(* (- t x) (/ (- y z) (- a z)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
136×add-sqr-sqrt *-un-lft-identity
77×times-frac
62×associate-*r*
46×add-cube-cbrt
43×fma-def
42×distribute-lft-out--
40×difference-of-squares
30×frac-times
23×flip3-- flip--
22×associate-/l*
20×associate-/r*
15×associate-*r/
12×associate-*l*
10×add-exp-log add-cbrt-cube
8×associate-/l/
6×associate-/r/
5×pow1 clear-num add-log-exp
4×frac-2neg unswap-sqr
3×expm1-log1p-u un-div-inv log1p-expm1-u div-inv distribute-lft-out
2×cbrt-undiv div-exp associate-*l/ prod-exp *-commutative cbrt-unprod
1×+-commutative flip3-+ div-sub pow-prod-down sum-log flip-+
Counts
3 → 216
Calls
3 calls:
9.0ms
(/ (- y z) (- a z))
36.0ms
(+ (* (- t x) (/ (- y z) (- a z))) x)
20.0ms
(* (- t x) (/ (- y z) (- a z)))

series325.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(/ (- y z) (- a z))
156.0ms
(+ (* (- t x) (/ (- y z) (- a z))) x)
116.0ms
(* (- t x) (/ (- y z) (- a z)))

simplify85.0ms

Algorithm
egg-herbie
Counts
225 → 225
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
06471324
132531274
250011272

prune381.0ms

Filtered
225 candidates to 157 candidates (69.8%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New2196225
Fresh6713
Picked101
Done000
Total22613239

Merged error: 3.4b

Counts
239 → 13

regimes328.0ms

Accuracy

6.8% (7.4b remaining)

Error of 11.1b against oracle of 3.6b and baseline of 11.6b

bsearch221.0ms

Steps
ItersRangePoint
8
1.1822453681052812e+79
2.6715655829828853e+82
2.6384696105968145e+82
9
-2.5527576166225183e-92
-1.183407960722027e-98
-1.678414030488861e-95
9
-1.136598601996459e+66
-4.466017749444874e+57
-1.0217171839072163e+66
8
-2.3154337614754066e+121
-7.176763974305613e+117
-1.924648186235541e+118
7
-2.029412116266154e+183
-6.516182338417874e+181
-2.0807436000900952e+182

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04137
14137

end0.0ms

sample703.0ms

Algorithm
intervals
Results
268.0ms7733×body80valid
59.0ms479×body640valid
44.0ms273×body1280valid
40.0ms434×body320valid
18.0ms246×body160valid
3.0ms18×body2560valid