Details

Time bar (total: 2.4m)

sample2.0s

Algorithm
intervals
Results
1.5s2411×body80valid

simplify4.6s

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

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

rewrite683.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)))
138.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
184.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
178.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.6s

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

simplify8.2s

Counts
136 → 136
Iterations
IterNodes
done5001
24918
11115
0345

prune7.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 16.4b

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

rewrite522.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:
115.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
163.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
123.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
111.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.4s

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

simplify7.7s

Counts
136 → 136
Iterations
IterNodes
done5001
24905
11117
0347

prune8.3s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 14.4b

localize935.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
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.5b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite585.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:
144.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
190.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
115.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
127.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.5s

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

simplify8.3s

Counts
136 → 136
Iterations
IterNodes
done5000
24934
11114
0345

prune8.9s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 14.4b

localize982.0ms

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

rewrite648.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:
159.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
155.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
163.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
153.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.5s

Counts
4 → 12
Calls
4 calls:
354.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
342.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
354.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
421.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify4.9s

Counts
136 → 136
Iterations
IterNodes
done5003
22518
1574
0177

prune6.9s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 14.4b

regimes33.6s

bsearch4.5s

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

simplify135.0ms

Iterations
IterNodes
done197
1197
0128

end0.0ms

sample26.6s

Algorithm
intervals
Results
20.6s37500×body80valid