Details

Time bar (total: 35.9s)

sample599.0ms

Algorithm
intervals
Results
390.0ms2360×body80valid

simplify47.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: 25.3b

localize64.0ms

Local error

Found 4 expressions with local error:

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

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

series666.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010781572
150011484

prune1.8s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 15.1b

localize65.0ms

Local error

Found 4 expressions with local error:

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

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

series665.0ms

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

simplify45.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010781572
150011484

prune2.0s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.1b

localize72.0ms

Local error

Found 4 expressions with local error:

8.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite68.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:
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series661.0ms

Counts
4 → 12
Calls
4 calls:
166.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
166.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
163.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
165.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify87.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (16.0ms)

IterNodesCost
05591572
127021452
250011452

prune2.0s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 15.1b

localize69.0ms

Local error

Found 4 expressions with local error:

7.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series673.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010761572
150021484

prune2.0s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 12.6b

regimes7.3s

bsearch2.6s

Steps
ItersRangePoint
10
5.018528751992163e-75
2.125335677250103e-61
9.095047031500296e-69
9
2.725648391585165e-301
9.276072350447459e-296
1.5451382819847682e-300
2
-3.3423023572166834e-130
-2.9874908604956875e-130
-3.297950920126559e-130
6
-1.609813240619031e-53
-2.5273060147241542e-54
-2.922635382118255e-54
8
-5.813722987374277e+100
-1.2635348542643639e+98
-3.6107114213838517e+99

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0205284
1213284
2213284

end0.0ms

sample14.1s

Algorithm
intervals
Results
9.6s58136×body80valid