Details

Time bar (total: 1.5m)

sample1.3s

Algorithm
intervals
Results
942.0ms2255×body80valid

simplify802.0ms

Counts
1 → 1

prune40.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.0b

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

rewrite316.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
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
66.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
81.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
82.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series1.0s

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

simplify589.0ms

Counts
132 → 132

prune2.9s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 19.1b

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

rewrite213.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:
55.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
54.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
51.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
50.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series1.0s

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

simplify479.0ms

Counts
132 → 132

prune3.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.3b

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

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

series1.0s

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

simplify566.0ms

Counts
132 → 132

prune3.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 13.8b

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

rewrite256.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:
58.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
54.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
70.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
67.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series896.0ms

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

simplify574.0ms

Counts
132 → 132

prune3.1s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.8b

regimes11.6s

Accuracy

-35.4% (17.6b remaining)

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

bsearch7.2s

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

simplify650.0ms

end0.0ms

sample47.0s

Algorithm
intervals
Results
34.9s72110×body80valid