Details

Time bar (total: 1.9m)

sample2.1s

Algorithm
intervals
Results
1.8s2384×body80valid

simplify571.0ms

Counts
1 → 1

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.2b

localize163.0ms

Local error

Found 4 expressions with local error:

10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.6b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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

series806.0ms

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

simplify1.6s

Counts
136 → 136

prune6.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 17.0b

localize193.0ms

Local error

Found 4 expressions with local error:

10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

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

series868.0ms

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

simplify1.5s

Counts
136 → 136

prune7.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.5b

localize204.0ms

Local error

Found 4 expressions with local error:

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

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

series921.0ms

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

simplify1.2s

Counts
136 → 136

prune7.5s

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 15.5b

localize186.0ms

Local error

Found 4 expressions with local error:

10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.6b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite476.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
329.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
60.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
43.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
42.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series830.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
219.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
216.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
209.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
186.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify769.0ms

Counts
136 → 136

prune7.3s

Pruning

22 alts after pruning (20 fresh and 2 done)

Merged error: 15.5b

regimes10.2s

Accuracy

-12% (12.2b remaining)

Error of 27.2b against oracle of 15.0b and baseline of 25.9b

bsearch2.0s

end0.0ms

sample58.7s

Algorithm
intervals
Results
50.7s72512×body80valid