Details

Time bar (total: 1.8m)

sample2.5s

Algorithm
intervals
Results
2.2s2186×body80valid

simplify7.9s

Counts
1 → 1
Iterations
IterNodes
412421
31712
2349
1132
063

prune59.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.9b

localize210.0ms

Local error

Found 4 expressions with local error:

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

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

series1.0s

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

simplify1.7s

Counts
136 → 136
Iterations
IterNodes
24874
11118
0346

prune9.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.6b

localize253.0ms

Local error

Found 4 expressions with local error:

10.1b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
12.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
12.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
12.1b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite263.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:
54.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
61.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
78.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
66.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series979.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
246.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
262.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
246.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify756.0ms

Counts
136 → 136
Iterations
IterNodes
22496
1574
0179

prune9.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 18.6b

localize231.0ms

Local error

Found 4 expressions with local error:

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

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

series1.0s

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

simplify1.6s

Counts
136 → 136
Iterations
IterNodes
24802
11116
0344

prune9.6s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 16.6b

localize298.0ms

Local error

Found 4 expressions with local error:

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

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

series1.0s

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

simplify1.7s

Counts
136 → 136
Iterations
IterNodes
24802
11116
0344

prune7.9s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 16.6b

regimes13.3s

bsearch4.5s

Steps
ItersRangePoint
6
1.1017027788177326e-297
6.244291066190844e-297
1.7530148757850594e-297
7
-2.066862960256656e-263
-1.1386537292964128e-264
-6.7290299244025625e-264
8
-2.538105119604488e-146
-4.658943272695933e-150
-7.341872375487444e-148
7
-1.6606987566483366e-12
-1.104176601620841e-14
-2.0310182687122962e-13

simplify92.0ms

Iterations
IterNodes
3192
2192
1186
0120

end0.0ms

sample33.3s

Algorithm
intervals
Results
28.2s36145×body80valid