Details

Time bar (total: 37.0s)

sample626.0ms

Algorithm
intervals
Results
341.0ms2216×body80valid

simplify44.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147
done500147

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.3b

localize64.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.8b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite203.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:
48.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
49.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
49.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
53.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series698.0ms

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

simplify38.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010771572
150021484
done50021484

prune1.8s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.7b

localize67.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.8b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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

series696.0ms

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

simplify40.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
010771572
150021484
done50021484

prune2.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.7b

localize75.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.8b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.3b
(* (- (* x j) (* z k)) (* y0 b))
9.7b
(* (- (* x j) (* z k)) (- (* y1 i)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log add-cbrt-cube
14×flip3-- flip--
13×associate-*r*
12×associate-*l*
11×add-cube-cbrt *-un-lft-identity
8×frac-times associate-*l/
6×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
3×unswap-sqr
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 104
Calls
4 calls:
50.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
49.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
36.0ms
(* (- (* x j) (* z k)) (* y0 b))
36.0ms
(* (- (* x j) (* z k)) (- (* y1 i)))

series568.0ms

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

simplify103.0ms

Counts
116 → 116
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
08181157
140011040
250011040
done50011040

prune1.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.7b

localize70.0ms

Local error

Found 4 expressions with local error:

8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.7b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.8b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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

series708.0ms

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

simplify78.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
05681572
127331452
250011452
done50011452

prune1.9s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 16.7b

regimes5.3s

Accuracy

0% (8.6b remaining)

Error of 27.2b against oracle of 18.7b and baseline of 27.2b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010777
110777
done10777

end0.0ms

sample19.4s

Algorithm
intervals
Results
11.0s70906×body80valid