Details

Time bar (total: 35.9s)

sample591.0ms

Algorithm
intervals
Results
338.0ms2216×body80valid

simplify45.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147
done500147

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

rewrite187.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
(* (- (* 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)))
48.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series697.0ms

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

simplify41.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010771572
150021484
done50021484

prune1.9s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.7b

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

rewrite185.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)))
44.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series706.0ms

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

simplify42.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
010771572
150021484
done50021484

prune2.3s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 16.7b

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

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

series546.0ms

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

simplify103.0ms

Counts
116 → 116
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
08181157
140011040
250011040
done50011040

prune1.7s

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

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

series701.0ms

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

simplify82.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.6s

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.1s

Algorithm
intervals
Results
10.8s70906×body80valid