Details

Time bar (total: 1.3m)

sample1.1s

Algorithm
intervals
Results
808.0ms2327×body80valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0631896
11321896
23501896
317451896
done50011896

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.6b

localize204.0ms

Local error

Found 4 expressions with local error:

10.1b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
11.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
12.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series951.0ms

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

simplify1.2s

Counts
132 → 132
Iterations

Useful iterations: done (1.2s)

IterNodesCost
034364428
1111257204
done500057124

prune3.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 22.6b

localize250.0ms

Local error

Found 4 expressions with local error:

11.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
12.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
12.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
12.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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 add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
37.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
43.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
51.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
56.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series964.0ms

Counts
4 → 12
Calls
4 calls:
242.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
250.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
215.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
257.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.9s

Counts
132 → 132
Iterations

Useful iterations: done (1.9s)

IterNodesCost
017764428
157357084
2284856844
done500056524

prune4.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 22.6b

localize269.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
12.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series1.0s

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

simplify1.4s

Counts
132 → 132
Iterations

Useful iterations: done (1.4s)

IterNodesCost
034264428
1111257204
done500157124

prune4.3s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 20.8b

localize281.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.3b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
12.0b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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

series1.1s

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

simplify1.4s

Counts
132 → 132
Iterations

Useful iterations: done (1.3s)

IterNodesCost
034264428
1111257204
done500157124

prune3.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 20.8b

regimes12.8s

bsearch2.3s

Steps
ItersRangePoint
10
2.687286783454745e-220
4.1020162078916653e-209
1.7192966531637236e-210
9
-4.2168478287232635e+36
-6.205888115465961e+28
-6.910497698014356e+28

simplify43.0ms

Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
01023518
11613518
done1613518

end0.0ms

sample30.6s

Algorithm
intervals
Results
25.2s52992×body80valid