Details

Time bar (total: 1.3m)

sample2.7s

Algorithm
intervals
Results
2.4s2411×body80valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5001
31745
2350
1132
063

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.7b

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

rewrite209.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:
42.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
46.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
60.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
59.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series905.0ms

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

simplify871.0ms

Counts
136 → 136
Iterations
IterNodes
done5000
11116
0345

prune3.4s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 14.7b

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

rewrite190.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:
56.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
43.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
40.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
48.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series882.0ms

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

simplify1.0s

Counts
136 → 136
Iterations
IterNodes
done5000
11114
0345

prune3.9s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 13.0b

localize175.0ms

Local error

Found 4 expressions with local error:

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

rewrite208.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:
60.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
58.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
44.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
44.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series845.0ms

Counts
4 → 12
Calls
4 calls:
230.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
183.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
199.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
232.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify1.3s

Counts
136 → 136
Iterations
IterNodes
done5002
22957
1574
0177

prune4.5s

Pruning

28 alts after pruning (27 fresh and 1 done)

Merged error: 13.0b

localize217.0ms

Local error

Found 4 expressions with local error:

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

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
5.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
59.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
74.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
57.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series874.0ms

Counts
4 → 12
Calls
4 calls:
174.0ms
(cbrt (- (* y4 y1) (* y5 y0)))
231.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
223.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
246.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify2.1s

Counts
119 → 119
Iterations
IterNodes
done5002
24838
11016
0330

prune3.2s

Pruning

27 alts after pruning (26 fresh and 1 done)

Merged error: 13.0b

regimes13.3s

bsearch5.5s

Steps
ItersRangePoint
10
8.90874152894105e-40
3.157212697151295e-27
2.9683526618000633e-36
6
1.9155907721568183e-118
1.932788792265658e-117
1.7291677707772254e-117
6
-4.6218894454389064e-291
-1.0741912180357224e-291
-2.4139184359472972e-291
9
-3.6369010653763836e-157
-6.588461912243888e-163
-5.189515076614857e-161

simplify51.0ms

Iterations
IterNodes
done175
2175
1174
0113

end0.0ms

sample31.8s

Algorithm
intervals
Results
27.7s37500×body80valid