Details

Time bar (total: 38.4s)

sample697.0ms

Algorithm
intervals
Results
412.0ms2524×body80valid

simplify46.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.6b

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

rewrite191.0ms

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

series635.0ms

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

simplify43.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010781572
150011484

prune2.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.1b

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

rewrite185.0ms

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

series610.0ms

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

simplify109.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
08211572
140111452
250011452

prune1.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 19.1b

localize79.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 add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
46.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
45.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
46.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
49.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series611.0ms

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

simplify110.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
08211572
140111452
250011452

prune2.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 19.1b

localize93.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 add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
47.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)))
45.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series632.0ms

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

simplify110.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
08211572
140111452
250011452

prune2.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 19.1b

regimes4.5s

Accuracy

-1.3% (9.0b remaining)

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

bsearch1.8s

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
0154211
1156211
2156211

end0.0ms

sample19.3s

Algorithm
intervals
Results
11.8s72987×body80valid