Details

Time bar (total: 1.1m)

sample1.7s

Algorithm
intervals
Results
1.3s2350×body80valid

simplify983.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06395
113295
235095
3173795
done500095

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.8b

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

rewrite316.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:
90.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
62.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
72.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
83.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series1.1s

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

simplify572.0ms

Counts
132 → 132
Iterations

Useful iterations: done (567.0ms)

IterNodesCost
03433300
111153224
done50002992

prune2.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 15.5b

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

rewrite228.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:
10.0ms
(cbrt (- (* y0 b) (* y1 i)))
72.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
86.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
54.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series844.0ms

Counts
4 → 12
Calls
4 calls:
170.0ms
(cbrt (- (* y0 b) (* y1 i)))
237.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
206.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
231.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

15 alts after pruning (15 fresh and 0 done)

Merged error: 15.5b

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

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

series913.0ms

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

simplify2.2s

Counts
115 → 115
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03262737
110192671
248122480
done50012477

prune3.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 15.5b

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

rewrite310.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:
72.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
99.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
66.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
69.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.1s

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

simplify646.0ms

Counts
132 → 132
Iterations

Useful iterations: done (640.0ms)

IterNodesCost
03423300
111103224
done50002992

prune3.0s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 13.9b

regimes9.2s

bsearch4.2s

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

simplify24.0ms

Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0127604
1197604
done197604

end0.0ms

sample24.4s

Algorithm
intervals
Results
18.7s33939×body80valid