Details

Time bar (total: 2.4m)

sample2.0s

Algorithm
intervals
Results
1.5s2411×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune43.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.1b

localize837.0ms

Local error

Found 4 expressions with local error:

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

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

series1.6s

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

simplify8.0s

Counts
136 → 136
Iterations
IterNodes
done5001
24918
11115
0345

prune6.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 16.4b

localize763.0ms

Local error

Found 4 expressions with local error:

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

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

series1.3s

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

simplify7.0s

Counts
136 → 136
Iterations
IterNodes
done5001
24905
11117
0347

prune7.8s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 14.4b

localize1.0s

Local error

Found 4 expressions with local error:

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

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

series1.9s

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

simplify8.3s

Counts
136 → 136
Iterations
IterNodes
done5000
24934
11114
0345

prune8.7s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 14.4b

localize1.0s

Local error

Found 4 expressions with local error:

8.7b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite667.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:
178.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
153.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
160.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
168.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.7s

Counts
4 → 12
Calls
4 calls:
476.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
398.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
427.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
446.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify5.0s

Counts
136 → 136
Iterations
IterNodes
done5003
22518
1574
0177

prune6.8s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 14.4b

regimes37.1s

bsearch4.3s

Steps
ItersRangePoint
8
1.370966366350613e-180
9.894490952993167e-178
1.019838646755101e-178
7
4.766415618585701e-233
1.496695666221157e-231
5.314366547114705e-233
9
-3.150632679034958e-90
-1.962558448254993e-95
-1.1876662815531058e-92
6
-4.7310522638629427e-17
-1.0016946223386294e-17
-4.289813981998038e-17

simplify142.0ms

Iterations
IterNodes
done197
1197
0128

end0.0ms

sample27.6s

Algorithm
intervals
Results
21.5s37500×body80valid