Details

Time bar (total: 1.4m)

sample1.6s

Algorithm
intervals
Results
1.2s2255×body80valid

simplify665.0ms

Counts
1 → 1

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.0b

localize130.0ms

Local error

Found 4 expressions with local error:

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

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:
69.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
61.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
72.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
79.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series891.0ms

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

simplify544.0ms

Counts
132 → 132

prune2.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 19.1b

localize99.0ms

Local error

Found 4 expressions with local error:

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

rewrite249.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:
47.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
64.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
62.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
71.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series836.0ms

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

simplify569.0ms

Counts
132 → 132

prune3.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.3b

localize135.0ms

Local error

Found 4 expressions with local error:

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

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

series897.0ms

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

simplify465.0ms

Counts
132 → 132

prune3.2s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 13.8b

localize152.0ms

Local error

Found 4 expressions with local error:

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

rewrite295.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:
84.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
68.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
74.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
65.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series912.0ms

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

simplify484.0ms

Counts
132 → 132

prune3.4s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.8b

regimes11.3s

Accuracy

-35.4% (17.6b remaining)

Error of 32.0b against oracle of 14.3b and baseline of 27.4b

bsearch7.3s

Steps
ItersRangePoint
8
7.571928465277003e-106
1.4778977610468999e-102
8.161903194040149e-105
6
5.750591094707307e-246
3.4288017497866835e-245
1.4135488653296918e-245
8
4.945905457724761e-292
2.2292879210257918e-288
5.195048688712273e-291
8
-2.2701560056188655e-254
-6.488139605465637e-257
-9.042432170619591e-257
4
-4.616484960212046e-150
-3.17807561891596e-150
-4.2119323329725223e-150
4
-5.512770957312406e-132
-3.627652555114251e-132
-3.6865625051829435e-132
8
-9.143357473994972e-81
-1.348202573030205e-84
-3.606803857430641e-82
8
-4.945536691681006e+39
-7.255676974024952e+35
-4.804018698470439e+38

simplify733.0ms

end0.0ms

sample44.3s

Algorithm
intervals
Results
33.9s72110×body80valid