Details

Time bar (total: 5.0m)

sample2.5s

Algorithm
intervals
Results
1.7s2225×body80valid

simplify177.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
176.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))))

prune66.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.8b

localize254.0ms

Local error

Found 4 expressions with local error:

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

rewrite269.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
285.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
283.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
269.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
266.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify40.3s

Counts
192 → 152
Calls
192 calls:
Slowest
902.0ms
(* (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) (+ (* (* a b) (* a b)) (+ (* (* c i) (* c i)) (* (* a b) (* c i)))))
602.0ms
(* (- (* (* k y2) (* k y2)) (* (* j y3) (* j y3))) (- (* y4 y1) (* y5 y0)))
600.0ms
(* (- (* k y2) (* j y3)) (- (* (* y4 y1) (* y4 y1)) (* (* y5 y0) (* y5 y0))))
560.0ms
(* (- (* (* t j) (* t j)) (* (* y k) (* y k))) (- (* y4 b) (* y5 i)))
499.0ms
(* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* a b) (* c i)))

prune9.6s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.9b

localize242.0ms

Local error

Found 4 expressions with local error:

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

rewrite221.0ms

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

series983.0ms

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

simplify40.0s

Counts
192 → 152
Calls
192 calls:
Slowest
577.0ms
(* (- (* (* t j) (* t j)) (* (* y k) (* y k))) (- (* y4 b) (* y5 i)))
539.0ms
(* (- (* (* x y2) (* x y2)) (* (* z y3) (* z y3))) (- (* y0 c) (* y1 a)))
500.0ms
(* (- (* (* k y2) (* k y2)) (* (* j y3) (* j y3))) (- (* y4 y1) (* y5 y0)))
494.0ms
(* (- (* t j) (* y k)) (- (pow (* y4 b) 3) (pow (* y5 i) 3)))
494.0ms
(* (- (* t j) (* y k)) (- (* (* y4 b) (* y4 b)) (* (* y5 i) (* y5 i))))

prune10.2s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 14.1b

localize237.0ms

Local error

Found 4 expressions with local error:

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

rewrite300.0ms

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

series1.0s

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

simplify38.4s

Counts
192 → 152
Calls
192 calls:
Slowest
605.0ms
(* (+ (* t j) (* y k)) (+ (* (* y4 b) (* y4 b)) (+ (* (* y5 i) (* y5 i)) (* (* y4 b) (* y5 i)))))
564.0ms
(* (- (* x y) (* z t)) (- (* (* a b) (* a b)) (* (* c i) (* c i))))
536.0ms
(* (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) (+ (* (* a b) (* a b)) (+ (* (* c i) (* c i)) (* (* a b) (* c i)))))
523.0ms
(* (- (* (* x y2) (* x y2)) (* (* z y3) (* z y3))) (- (* y0 c) (* y1 a)))
514.0ms
(* (- (* (* k y2) (* k y2)) (* (* j y3) (* j y3))) (- (* y4 y1) (* y5 y0)))

prune10.4s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 14.1b

localize284.0ms

Local error

Found 4 expressions with local error:

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

rewrite292.0ms

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

series982.0ms

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

simplify40.3s

Counts
192 → 152
Calls
192 calls:
Slowest
646.0ms
(* (- (* y5 y0)) (- (* k y2) (* j y3)))
570.0ms
(* (- (* x j) (* z k)) (- (* (* y0 b) (* y0 b)) (* (* y1 i) (* y1 i))))
568.0ms
(* (- (* (* x j) (* x j)) (* (* z k) (* z k))) (- (* y0 b) (* y1 i)))
540.0ms
(* (- (* (* x y2) (* x y2)) (* (* z y3) (* z y3))) (- (* y0 c) (* y1 a)))
525.0ms
(* (- (* k y2) (* j y3)) (- (* (* y4 y1) (* y4 y1)) (* (* y5 y0) (* y5 y0))))

prune10.0s

Pruning

32 alts after pruning (31 fresh and 1 done)

Merged error: 13.6b

regimes17.5s

Accuracy

-8.9% (11.3b remaining)

Error of 26.7b against oracle of 15.4b and baseline of 25.7b

bsearch3.8s

end0.0ms

sample1.2m

Algorithm
intervals
Results
58.7s72447×body80valid