Details

Time bar (total: 38.7s)

sample1.7s

Algorithm
intervals
Results
1.3s2426×body80valid

simplify741.0ms

Counts
1 → 1

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize116.0ms

Local error

Found 4 expressions with local error:

9.2b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.2b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series1.0s

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

simplify754.0ms

Counts
132 → 132

prune3.0s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 19.3b

localize141.0ms

Local error

Found 4 expressions with local error:

9.0b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.2b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series935.0ms

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

simplify789.0ms

Counts
132 → 132

prune3.0s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.8b

localize121.0ms

Local error

Found 4 expressions with local error:

9.2b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.2b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series1.1s

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

simplify788.0ms

Counts
132 → 132

prune3.3s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 16.8b

localize159.0ms

Local error

Found 4 expressions with local error:

9.2b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.2b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.7b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series948.0ms

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

simplify872.0ms

Counts
132 → 132

prune3.6s

Pruning

25 alts after pruning (23 fresh and 2 done)

Merged error: 16.8b

regimes9.9s

bsearch4.5s

Steps
ItersRangePoint
6
3.1204543327919544e+75
1.3304081296379132e+76
6.506225731573752e+75
7
1.3824703873578266e-136
8.671589188802233e-135
4.824966401193725e-136
8
-1.0720353036081054e-290
-6.602865800485259e-294
-6.563450195352331e-293