Details

Time bar (total: 1.5m)

sample2.1s

Algorithm
intervals
Results
1.5s2531×body80valid

simplify676.0ms

Counts
1 → 1

prune37.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize97.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)))

rewrite260.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:
77.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
72.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
50.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
56.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series995.0ms

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

simplify492.0ms

Counts
132 → 132

prune2.6s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 16.8b

localize100.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)))

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

series860.0ms

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

simplify575.0ms

Counts
132 → 132

prune3.5s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.2b

localize150.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)))

rewrite288.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:
83.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
59.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
66.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
74.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series925.0ms

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

simplify428.0ms

Counts
132 → 132

prune3.2s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.2b

localize120.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)))

rewrite248.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:
75.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
61.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
53.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
54.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series966.0ms

Counts
4 → 12
Calls
4 calls:
230.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
220.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
255.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
260.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify1.9s

Counts
132 → 132

prune2.8s

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 14.2b

regimes13.2s

Accuracy

-14.4% (13.2b remaining)

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

bsearch3.2s

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

simplify447.0ms

end0.0ms

sample47.7s

Algorithm
intervals
Results
35.6s73639×body80valid