Details

Time bar (total: 35.8s)

sample606.0ms

Algorithm
intervals
Results
338.0ms2216×body80valid

simplify43.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147
done500147

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.3b

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

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

series707.0ms

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

simplify39.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010771572
150021484
done50021484

prune1.9s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.7b

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

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

series703.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
178.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
174.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 (25.0ms)

IterNodesCost
010771572
150021484
done50021484

prune2.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.7b

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

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

series546.0ms

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

simplify99.0ms

Counts
116 → 116
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
08181157
140011040
250011040
done50011040

prune1.8s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 16.7b

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

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

series710.0ms

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

simplify88.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
05681572
127331452
250011452
done50011452

prune1.7s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 16.7b

regimes5.2s

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

sample18.5s

Algorithm
intervals
Results
10.8s70906×body80valid