Details

Time bar (total: 38.3s)

sample682.0ms

Algorithm
intervals
Results
468.0ms2360×body80valid

simplify49.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147

prune12.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.3b

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

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

series655.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010781572
150011484

prune2.0s

Filtered
132 candidates to 100 candidates (75.8%)
Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 15.1b

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

series643.0ms

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

simplify39.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010781572
150011484

prune2.0s

Filtered
132 candidates to 100 candidates (75.8%)
Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.1b

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

rewrite75.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)))
21.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
17.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series653.0ms

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

simplify86.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
05591572
127021452
250011452

prune2.0s

Filtered
132 candidates to 96 candidates (72.7%)
Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 15.1b

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

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

series674.0ms

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

simplify39.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010761572
150021484

prune1.7s

Filtered
132 candidates to 100 candidates (75.8%)
Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 12.6b

regimes7.4s

bsearch2.7s

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

sample16.3s

Algorithm
intervals
Results
11.7s58136×body80valid