Details

Time bar (total: 1.0m)

sample1.6s

Algorithm
intervals
Results
1.1s2350×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06395
113295
235095
3173795
done500095

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.8b

localize157.0ms

Local error

Found 4 expressions with local error:

7.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite288.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
74.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
71.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
61.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
77.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.1s

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

simplify598.0ms

Counts
132 → 132
Iterations

Useful iterations: done (591.0ms)

IterNodesCost
03433300
111153224
done50002992

prune2.7s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 15.5b

localize154.0ms

Local error

Found 4 expressions with local error:

7.5b
(cbrt (- (* y0 b) (* y1 i)))
7.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite178.0ms

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

series815.0ms

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

simplify2.0s

Counts
115 → 115
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03262737
110192671
248122480
done50012477

prune2.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 15.5b

localize140.0ms

Local error

Found 4 expressions with local error:

7.5b
(cbrt (- (* y0 b) (* y1 i)))
7.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.2b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite224.0ms

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

series926.0ms

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

simplify2.0s

Counts
115 → 115
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03262737
110192671
248122480
done50012477

prune3.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 15.5b

localize106.0ms

Local error

Found 4 expressions with local error:

7.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
49.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
49.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
49.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
51.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series974.0ms

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

simplify505.0ms

Counts
132 → 132
Iterations

Useful iterations: done (499.0ms)

IterNodesCost
03423300
111103224
done50002992

prune2.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 13.9b

regimes7.5s

bsearch4.3s

Steps
ItersRangePoint
8
7.155463922640922e-162
3.112806126022847e-157
7.98360899335969e-160
7
6.805884792725767e-169
3.0902147008856747e-167
4.373620658232357e-168
8
1.1145671775236469e-285
2.216764318444088e-281
3.549662330869913e-284
8
-1.6922955200478562e-106
-3.1278875313337878e-111
-5.678455604299052e-111

simplify50.0ms

Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0127604
1197604
done197604

end0.0ms

sample24.2s

Algorithm
intervals
Results
18.4s33939×body80valid