Details

Time bar (total: 54.1s)

sample1.9s

Algorithm
intervals
Results
1.5s2115×body80valid

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.5b

localize268.0ms

Local error

Found 4 expressions with local error:

8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.8b
(* (- (* 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 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
84.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
84.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
75.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
58.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series994.0ms

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

simplify2.7s

Counts
136 → 136
Iterations
IterNodes
done5000
24944
11119
0347

prune3.8s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.4b

localize227.0ms

Local error

Found 4 expressions with local error:

7.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
65.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
66.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
60.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
64.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series952.0ms

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

simplify2.1s

Counts
136 → 136
Iterations
IterNodes
done5001
24927
11116
0345

prune3.8s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 14.0b

localize154.0ms

Local error

Found 4 expressions with local error:

7.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.5b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
38.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
49.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
58.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
43.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series1.2s

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

simplify2.2s

Counts
136 → 136
Iterations
IterNodes
done5000
24936
11116
0345

prune4.1s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 14.0b

localize170.0ms

Local error

Found 4 expressions with local error:

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

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-cbrt-cube add-exp-log
14×flip3-- flip--
13×associate-*l*
12×associate-*r*
11×*-un-lft-identity add-cube-cbrt
8×distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*r/
6×pow-prod-down prod-exp cbrt-unprod
4×associate-*l/ *-commutative insert-posit16 add-log-exp
3×unswap-sqr
1×distribute-lft-neg-out distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in
Counts
4 → 116
Calls
4 calls:
48.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
38.0ms
(* (* y4 b) (- (* t j) (* y k)))
32.0ms
(* (- (* y5 i)) (- (* t j) (* y k)))
58.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series873.0ms

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

simplify2.1s

Counts
128 → 128
Iterations
IterNodes
done5006
23886
1902
0281

prune2.8s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 13.1b

regimes13.5s

bsearch6.3s

Steps
ItersRangePoint
10
5.980937050347789e+83
5.360582239374429e+93
1.0255916930328757e+88
7
-7.067763251351618e-200
-3.130863438010387e-202
-6.588956237653806e-200
7
-2.713861079057297e-114
-8.482966894823324e-116
-2.5442902172576743e-115