Details

Time bar (total: 2.5m)

sample1.9s

Algorithm
intervals
Results
1.7s2388×body80valid

simplify133.0ms

Calls
1 calls:
Slowest
132.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))))

prune366.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize211.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.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
13.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
11.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series571.0ms

Calls
4 calls:
Slowest
160.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
145.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
138.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
128.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify15.9s

Calls
108 calls:
Slowest
444.0ms
(* (- (* (* t j) (* t j)) (* (* y k) (* y k))) (- (* y4 b) (* y5 i)))
436.0ms
(* (- (pow (* t y2) 3) (pow (* y y3) 3)) (- (* y4 c) (* y5 a)))
429.0ms
(* (+ (* (* t j) (* t j)) (+ (* (* y k) (* y k)) (* (* t j) (* y k)))) (+ (* (* y4 b) (* y4 b)) (+ (* (* y5 i) (* y5 i)) (* (* y4 b) (* y5 i)))))
416.0ms
(* (- (pow (* t j) 3) (pow (* y k) 3)) (- (* y4 b) (* y5 i)))
406.0ms
(* (- (pow (* x y) 3) (pow (* z t) 3)) (- (* a b) (* c i)))

prune8.2s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 21.5b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.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
25.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
22.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
21.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
21.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series709.0ms

Calls
4 calls:
Slowest
193.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
185.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
178.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
152.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify14.5s

Calls
108 calls:
Slowest
404.0ms
(* (- (pow (* t y2) 3) (pow (* y y3) 3)) (- (* y4 c) (* y5 a)))
370.0ms
(* (- (* (* x y2) (* x y2)) (* (* z y3) (* z y3))) (- (* y0 c) (* y1 a)))
361.0ms
(* (- (pow (* x y2) 3) (pow (* z y3) 3)) (- (* y0 c) (* y1 a)))
353.0ms
(* (- (pow (* x y) 3) (pow (* z t) 3)) (- (* a b) (* c i)))
340.0ms
(* (- (pow (* x j) 3) (pow (* z k) 3)) (- (* y0 b) (* y1 i)))

prune7.6s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 20.0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

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

series569.0ms

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

simplify13.1s

Calls
108 calls:
Slowest
386.0ms
(* (- (pow (* x j) 3) (pow (* z k) 3)) (- (* y0 b) (* y1 i)))
385.0ms
(* (- (pow (* t y2) 3) (pow (* y y3) 3)) (- (* y4 c) (* y5 a)))
375.0ms
(* (- (* (* x j) (* x j)) (* (* z k) (* z k))) (- (* y0 b) (* y1 i)))
339.0ms
(* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* a b) (* c i)))
321.0ms
(* (- (pow (* x y2) 3) (pow (* z y3) 3)) (- (* y0 c) (* y1 a)))

prune7.2s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 20.0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

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

series578.0ms

Calls
4 calls:
Slowest
207.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
135.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
123.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
112.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify14.2s

Calls
108 calls:
Slowest
401.0ms
(* (- (pow (* x j) 3) (pow (* z k) 3)) (- (* y0 b) (* y1 i)))
393.0ms
(* (- (pow (* t j) 3) (pow (* y k) 3)) (- (* y4 b) (* y5 i)))
379.0ms
(* (- (pow (* x y2) 3) (pow (* z y3) 3)) (- (* y0 c) (* y1 a)))
374.0ms
(* (- (pow (* t y2) 3) (pow (* y y3) 3)) (- (* y4 c) (* y5 a)))
359.0ms
(* (- (* (* x y2) (* x y2)) (* (* z y3) (* z y3))) (- (* y0 c) (* y1 a)))

prune6.4s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 20.0b

regimes11.2s

Accuracy

-5.5% (9.4b remaining)

Error of 26.7b against oracle of 17.4b and baseline of 26.3b

bsearch4.4s

end0.0ms

sample42.4s

Algorithm
intervals
Results
37.5s72632×body80valid