Details

Time bar (total: 2.8m)

sample2.2s

Algorithm
intervals
Results
1.9s2065×body80valid

simplify204.0ms

Calls
1 calls:
Slowest
204.0ms
(+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))

prune65.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.1b

localize282.0ms

Local error

Found 4 expressions with local error:

10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.4b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
16×frac-times
12×add-sqr-sqrt 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
Calls
4 calls:
Slowest
27.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
21.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
21.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
20.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series794.0ms

Calls
4 calls:
Slowest
225.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
197.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
195.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
176.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify20.8s

Calls
108 calls:
Slowest
662.0ms
(* (- (* k y2) (* j y3)) (- (* y5 y0)))
544.0ms
(* (- (pow (* x y) 3) (pow (* z t) 3)) (- (* a b) (* c i)))
525.0ms
(* (- (* (* t j) (* t j)) (* (* y k) (* y k))) (- (* y4 b) (* y5 i)))
522.0ms
(* (- (pow (* t j) 3) (pow (* y k) 3)) (- (* y4 b) (* y5 i)))
521.0ms
(* (- (pow (* k y2) 3) (pow (* j y3) 3)) (- (* y4 y1) (* y5 y0)))

prune9.6s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 17.6b

localize51.0ms

Local error

Found 4 expressions with local error:

10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.4b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
16×frac-times
12×add-sqr-sqrt 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
Calls
4 calls:
Slowest
17.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series786.0ms

Calls
4 calls:
Slowest
214.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
196.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
196.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
181.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify20.6s

Calls
108 calls:
Slowest
712.0ms
(* (+ (* t j) (* y k)) (+ (* (* y4 b) (* y4 b)) (+ (* (* y5 i) (* y5 i)) (* (* y4 b) (* y5 i)))))
570.0ms
(* (- (pow (* t j) 3) (pow (* y k) 3)) (- (* y4 b) (* y5 i)))
567.0ms
(* (- (pow (* x y2) 3) (pow (* z y3) 3)) (- (* y0 c) (* y1 a)))
537.0ms
(* (- (pow (* k y2) 3) (pow (* j y3) 3)) (- (* y4 y1) (* y5 y0)))
496.0ms
(* (- (pow (* x y) 3) (pow (* z t) 3)) (- (* a b) (* c i)))

prune10.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 17.6b

localize47.0ms

Local error

Found 4 expressions with local error:

10.3b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.4b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
16×frac-times
12×add-sqr-sqrt 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
Calls
4 calls:
Slowest
23.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
16.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series607.0ms

Calls
4 calls:
Slowest
159.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
154.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
150.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
143.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify14.7s

Calls
108 calls:
Slowest
663.0ms
(* (+ (* (* k y2) (* k y2)) (+ (* (* j y3) (* j y3)) (* (* k y2) (* j y3)))) (+ (* (* y4 y1) (* y4 y1)) (+ (* (* y5 y0) (* y5 y0)) (* (* y4 y1) (* y5 y0)))))
453.0ms
(* (- (pow (* x y) 3) (pow (* z t) 3)) (- (* a b) (* c i)))
418.0ms
(* (- (pow (* k y2) 3) (pow (* j y3) 3)) (- (* y4 y1) (* y5 y0)))
399.0ms
(* (- (pow (* t j) 3) (pow (* y k) 3)) (- (* y4 b) (* y5 i)))
363.0ms
(* (- (pow (* x y2) 3) (pow (* z y3) 3)) (- (* y0 c) (* y1 a)))

prune8.2s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 17.6b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
16×frac-times
12×add-sqr-sqrt 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
Calls
4 calls:
Slowest
21.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
21.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
13.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series562.0ms

Calls
4 calls:
Slowest
161.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
141.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
132.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
127.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify15.1s

Calls
108 calls:
Slowest
664.0ms
(* (- (* (* k y2) (* k y2)) (* (* j y3) (* j y3))) (- (* y4 y1) (* y5 y0)))
407.0ms
(* (- (pow (* x y2) 3) (pow (* z y3) 3)) (- (* y0 c) (* y1 a)))
384.0ms
(* (- (pow (* x j) 3) (pow (* z k) 3)) (- (* y0 b) (* y1 i)))
383.0ms
(* (- (pow (* x y) 3) (pow (* z t) 3)) (- (* a b) (* c i)))
378.0ms
(* (- (pow (* k y2) 3) (pow (* j y3) 3)) (- (* y4 y1) (* y5 y0)))

prune6.7s

Pruning

27 alts after pruning (26 fresh and 1 done)

Merged error: 16.9b

regimes10.7s

Accuracy

-19.2% (10.8b remaining)

Error of 27.4b against oracle of 16.7b and baseline of 25.7b

bsearch4.8s

end0.0ms

sample44.0s

Algorithm
intervals
Results
39.9s72736×body80valid