Details

Time bar (total: 1.9m)

sample2.0s

Algorithm
intervals
Results
1.8s2362×body80valid

simplify628.0ms

Counts
1 → 1

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.2b

localize132.0ms

Local error

Found 4 expressions with local error:

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

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

series912.0ms

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

simplify1.4s

Counts
136 → 136

prune7.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 18.1b

localize219.0ms

Local error

Found 4 expressions with local error:

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

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

series904.0ms

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

simplify1.4s

Counts
136 → 136

prune7.1s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 15.4b

localize225.0ms

Local error

Found 4 expressions with local error:

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

rewrite204.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
63.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
59.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
51.0ms
(* (* y4 y1) (- (* k y2) (* j y3)))
29.0ms
(* (- (* y5 y0)) (- (* k y2) (* j y3)))

series651.0ms

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

simplify1.4s

Counts
128 → 128

prune8.6s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 14.9b

localize240.0ms

Local error

Found 4 expressions with local error:

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

rewrite294.0ms

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

series786.0ms

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

simplify1.7s

Counts
134 → 134

prune8.2s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 14.7b

regimes11.7s

Accuracy

0.7% (11.8b remaining)

Error of 26.7b against oracle of 14.9b and baseline of 26.8b

bsearch4.3s

end0.0ms

sample52.9s

Algorithm
intervals
Results
44.6s73760×body80valid