Details

Time bar (total: 1.2m)

sample1.5s

Algorithm
intervals
Results
1.2s2427×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5001
31712
2349
1132
063

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.6b

localize209.0ms

Local error

Found 4 expressions with local error:

9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite193.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 add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
50.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
35.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
53.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series882.0ms

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

simplify2.4s

Counts
132 → 132
Iterations
IterNodes
done5006
24871
11116
0341

prune3.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 21.2b

localize245.0ms

Local error

Found 4 expressions with local error:

9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite157.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 add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
39.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
35.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
35.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
43.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series950.0ms

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

simplify2.3s

Counts
132 → 132
Iterations
IterNodes
done5006
24871
11116
0341

prune4.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 21.2b

localize334.0ms

Local error

Found 4 expressions with local error:

9.9b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite599.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 add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
57.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
56.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
74.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
407.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series918.0ms

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

simplify2.3s

Counts
132 → 132
Iterations
IterNodes
done5006
24871
11116
0341

prune4.3s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 21.2b

localize243.0ms

Local error

Found 4 expressions with local error:

9.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.9b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.0b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite177.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 add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
42.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
49.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
39.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
43.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series965.0ms

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

simplify2.6s

Counts
132 → 132
Iterations
IterNodes
done5001
24802
11113
0340

prune3.6s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 18.5b

regimes16.3s

bsearch5.2s

Steps
ItersRangePoint
5
2.1973307970527057e+87
7.9286779061334285e+87
6.637449402440156e+87
8
5.959856908608843e-109
1.3739896605901625e-105
2.6785384551016076e-107
9
6.279110303716274e-206
2.3305958837878394e-200
2.2596970713708224e-200
4
-6.057401976104739e-288
-3.35437847330633e-288
-4.452481771318184e-288
7
-9.417788213158462e-197
-5.753570938467196e-199
-7.803391629923726e-199
6
-2.555698884190799e+58
-2.313374318325065e+57
-1.2513499083494358e+58

simplify151.0ms

Iterations
IterNodes
done234
2234
1228
0146

end0.0ms

sample15.7s

Algorithm
intervals
Results
12.8s26670×body80valid