Details

Time bar (total: 39.9s)

sample692.0ms

Algorithm
intervals
Results
405.0ms2524×body80valid

simplify49.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (47.0ms)

IterNodesCost
014547
139245
2193045
3500144

prune37.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)))

rewrite193.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:
45.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
46.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
46.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
51.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series593.0ms

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

simplify45.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)))

rewrite190.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)))
46.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
45.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
49.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series601.0ms

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

simplify117.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
08961700
142071580
250011580

prune2.3s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.1b

localize73.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)))

rewrite191.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:
48.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
46.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
45.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series603.0ms

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

simplify119.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
08961700
142071580
250011580

prune2.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.1b

localize83.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)))
47.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
50.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series605.0ms

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

simplify124.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
08961700
142071580
250011580

prune2.3s

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

bsearch2.1s

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 (0.0ms)

IterNodesCost
0156246
1158246
2158246

end0.0ms

sample19.5s

Algorithm
intervals
Results
11.8s72987×body80valid