Details

Time bar (total: 1.6m)

sample1.9s

Algorithm
intervals
Results
1.4s2531×body80valid

simplify769.0ms

Counts
1 → 1

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize100.0ms

Local error

Found 4 expressions with local error:

8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.3b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
13.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite290.0ms

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

series981.0ms

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

simplify618.0ms

Counts
132 → 132

prune3.3s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 16.8b

localize175.0ms

Local error

Found 4 expressions with local error:

7.8b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.3b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
13.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite245.0ms

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

series1.2s

Counts
4 → 12
Calls
4 calls:
324.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
318.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
259.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
253.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify685.0ms

Counts
132 → 132

prune3.7s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.2b

localize186.0ms

Local error

Found 4 expressions with local error:

7.8b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
13.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite825.0ms

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

series1.2s

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

simplify559.0ms

Counts
132 → 132

prune4.0s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.2b

localize190.0ms

Local error

Found 4 expressions with local error:

9.3b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.3b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.9b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
13.8b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
8×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
4×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
99.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
84.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
65.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
71.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.2s

Counts
4 → 12
Calls
4 calls:
288.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
322.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
355.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
231.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify2.0s

Counts
132 → 132

prune3.1s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.2b

regimes14.4s

Accuracy

-14.4% (13.2b remaining)

Error of 29.1b against oracle of 15.9b and baseline of 27.5b

bsearch3.4s

Steps
ItersRangePoint
9
13089756187770918.0
4.764652046171958e+24
4.165036680571305e+23
8
1.5779438425763245e-271
5.843838212780453e-268
2.0442950378625846e-271
5
-9.379098199289185e-62
-3.1935884688757523e-62
-6.583559172626404e-62

simplify562.0ms

end0.0ms

sample50.2s

Algorithm
intervals
Results
38.4s73639×body80valid