Details

Time bar (total: 38.5s)

sample734.0ms

Algorithm
intervals
Results
398.0ms2426×body80valid

simplify42.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.6b

localize63.0ms

Local error

Found 4 expressions with local error:

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

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

series761.0ms

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

simplify38.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010791572
150021484
done50021484

prune1.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 17.8b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite177.0ms

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

series626.0ms

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

simplify114.0ms

Counts
122 → 122
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
09731346
146241219
250011219
done50011219

prune1.6s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 17.6b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite181.0ms

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

series636.0ms

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

simplify116.0ms

Counts
122 → 122
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
09731346
146241219
250011219
done50011219

prune1.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 17.6b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite334.0ms

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

series633.0ms

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

simplify124.0ms

Counts
122 → 122
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
09731346
146241219
250011219
done50011219

prune1.7s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 17.6b

regimes4.6s

Accuracy

-1.1% (8.3b remaining)

Error of 26.7b against oracle of 18.4b and baseline of 26.6b

bsearch1.3s

Steps
ItersRangePoint
10
-1.0527410743388483e-188
-5.979302621522589e-201
-8.74968340644994e-192
8
-5.883387447224104e-107
-1.5771523616899457e-111
-6.49412846178783e-108

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0164190
1172190
2173190
3173190
done173190

end0.0ms

sample20.6s

Algorithm
intervals
Results
11.5s72276×body80valid