Details

Time bar (total: 37.2s)

sample631.0ms

Algorithm
intervals
Results
419.0ms2360×body80valid

simplify43.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

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

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

series681.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010781572
150011484

prune2.1s

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

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

series739.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010781572
150011484

prune2.0s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.1b

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

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

series664.0ms

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

simplify85.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
05591572
127021452
250011452

prune2.1s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 15.1b

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

rewrite72.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:
20.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)))
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series663.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
166.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
162.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 (26.0ms)

IterNodesCost
010761572
150021484

prune1.9s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 12.6b

regimes7.1s

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

sample15.0s

Algorithm
intervals
Results
10.4s58136×body80valid