Details

Time bar (total: 1.2m)

sample1.5s

Algorithm
intervals
Results
1.2s2427×body80valid

simplify2.9s

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

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

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

series1.0s

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

simplify2.9s

Counts
132 → 132
Iterations
IterNodes
done5006
24871
11116
0341

prune3.7s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 21.2b

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

rewrite205.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:
41.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
57.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
47.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
56.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series941.0ms

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

simplify2.2s

Counts
132 → 132
Iterations
IterNodes
done5006
24871
11116
0341

prune4.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 21.2b

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

rewrite166.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:
51.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
37.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
36.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
37.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series927.0ms

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

simplify2.7s

Counts
132 → 132
Iterations
IterNodes
done5006
24871
11116
0341

prune4.9s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 21.2b

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

rewrite232.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:
41.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
73.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
67.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
44.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.0s

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

simplify2.6s

Counts
132 → 132
Iterations
IterNodes
done5001
24802
11113
0340

prune3.5s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 18.5b

regimes16.7s

bsearch5.3s

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

simplify121.0ms

Iterations
IterNodes
done234
2234
1228
0146

end0.0ms

sample15.8s

Algorithm
intervals
Results
13.0s26670×body80valid