Details

Time bar (total: 2.2m)

sample2.1s

Algorithm
intervals
Results
1.8s2329×body80valid

simplify793.0ms

Counts
1 → 1

prune57.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.5b

localize289.0ms

Local error

Found 4 expressions with local error:

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

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

series1.0s

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

simplify1.8s

Counts
136 → 136

prune10.3s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 13.5b

localize277.0ms

Local error

Found 4 expressions with local error:

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

rewrite231.0ms

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

series954.0ms

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

simplify1.5s

Counts
126 → 126

prune8.6s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.5b

localize246.0ms

Local error

Found 4 expressions with local error:

9.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.5b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite219.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
66.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
59.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
48.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
45.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series953.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
258.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
253.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
235.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
206.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.1s

Counts
136 → 136

prune9.8s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 13.5b

localize267.0ms

Local error

Found 4 expressions with local error:

8.5b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
6.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
6.6b
(cbrt (- (* y4 c) (* y5 a)))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
12×frac-times
11×*-un-lft-identity add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×cbrt-div
1×pow1/3
Counts
4 → 107
Calls
4 calls:
Slowest
59.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
48.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
43.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.0ms
(cbrt (- (* y4 c) (* y5 a)))

series729.0ms

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

simplify1.3s

Counts
119 → 119

prune7.4s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 13.5b

regimes13.4s

Accuracy

-18.5% (9.4b remaining)

Error of 26.6b against oracle of 17.2b and baseline of 25.2b

bsearch3.3s

end0.0ms

sample1.1m

Algorithm
intervals
Results
53.4s72624×body80valid