Details

Time bar (total: 1.8m)

sample1.6s

Algorithm
intervals
Results
1.4s2250×body80valid

simplify980.0ms

Counts
1 → 1

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.0b

localize210.0ms

Local error

Found 4 expressions with local error:

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

rewrite231.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
Slowest
59.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
58.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
57.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
54.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series804.0ms

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

simplify1.5s

Counts
136 → 136

prune7.6s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.3b

localize185.0ms

Local error

Found 4 expressions with local error:

9.9b
(* (* y4 c) (- (* t y2) (* y y3)))
9.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.9b
(* (- (* y5 a)) (- (* t y2) (* y y3)))
8.2b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite150.0ms

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

series715.0ms

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

simplify1.2s

Counts
128 → 128

prune7.2s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 15.1b

localize248.0ms

Local error

Found 4 expressions with local error:

9.9b
(* (* y4 c) (- (* t y2) (* y y3)))
9.0b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.2b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite234.0ms

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

series845.0ms

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

simplify1.4s

Counts
130 → 130

prune8.9s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 14.3b

localize269.0ms

Local error

Found 4 expressions with local error:

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

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-exp-log add-cube-cbrt
8×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Counts
4 → 124
Calls
4 calls:
Slowest
77.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
69.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
52.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series1.1s

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

simplify1.3s

Counts
136 → 136

prune9.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 14.3b

regimes8.4s

Accuracy

-1.4% (8.8b remaining)

Error of 25.8b against oracle of 16.9b and baseline of 25.6b

bsearch5.1s

end0.0ms

sample50.1s

Algorithm
intervals
Results
41.3s70667×body80valid