Details

Time bar (total: 39.7s)

sample684.0ms

Algorithm
intervals
Results
398.0ms2524×body80valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (46.0ms)

IterNodesCost
014547
139245
2193045
3500144

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.6b

localize62.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate-*l* add-cbrt-cube
8×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
46.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
47.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
48.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series600.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
145.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
153.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
156.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify43.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011781700
150011612

prune2.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.1b

localize71.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate-*l* add-cbrt-cube
8×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
47.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
48.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
54.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series621.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
157.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
160.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
151.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify130.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
08961700
142071580
250011580

prune2.5s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.1b

localize78.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate-*l* add-cbrt-cube
8×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
46.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
48.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
51.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series609.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
154.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
150.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
154.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify121.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
08961700
142071580
250011580

prune2.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.1b

localize87.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate-*l* add-cbrt-cube
8×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
47.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
48.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
46.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
50.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series616.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
150.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
156.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
155.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify128.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
08961700
142071580
250011580

prune2.4s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 19.1b

regimes4.5s

Accuracy

-1.4% (9.0b remaining)

Error of 27.3b against oracle of 18.3b and baseline of 27.1b

bsearch1.9s

Steps
ItersRangePoint
9
1918760.1176040906
1436875470745.5737
7213927107.588851
9
-6.999326870792268e-128
-1.6770238099892946e-135
-5.930087093633849e-132
8
-3.2430531600820424e-86
-4.407687622779308e-90
-5.491209746310479e-87

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0156246
1158246
2158246

end0.0ms

sample19.1s

Algorithm
intervals
Results
11.5s72987×body80valid