Details

Time bar (total: 36.2s)

sample594.0ms

Algorithm
intervals
Results
388.0ms2360×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: 25.3b

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

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

series744.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
168.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
205.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
201.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

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 15.1b

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

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

series817.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
174.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
176.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
298.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

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

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

series686.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
167.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
168.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
171.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify81.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
05591572
127021452
250011452

prune2.0s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 15.1b

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

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

series703.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
010761572
150021484

prune1.8s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 12.6b

regimes7.5s

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