Details

Time bar (total: 40.1s)

sample707.0ms

Algorithm
intervals
Results
392.0ms2539×body80valid

simplify45.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013247
135047
2175847
3500147
done500147

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.3b

localize63.0ms

Local error

Found 4 expressions with local error:

8.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.3b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
11.8b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

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

series716.0ms

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

simplify39.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010821572
150021484
done50021484

prune1.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 18.5b

localize67.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.3b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
11.8b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

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

series715.0ms

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

simplify38.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010781572
150011484
done50011484

prune2.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 16.3b

localize68.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.3b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.9b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
11.8b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

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

series716.0ms

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

simplify38.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010781572
150011484
done50011484

prune2.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 16.3b

localize69.0ms

Local error

Found 4 expressions with local error:

8.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.1b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.3b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.8b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

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

series747.0ms

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

simplify39.0ms

Counts
132 → 132
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
010761572
150021484
done50021484

prune1.7s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 16.3b

regimes6.0s

Accuracy

-13.9% (12.4b remaining)

Error of 28.5b against oracle of 16.0b and baseline of 26.9b

bsearch2.1s

Steps
ItersRangePoint
6
4.0050581012565946e-160
5.080437073003342e-159
6.441236564274394e-160
10
-6.253958449373486e-219
-1.1195000481673282e-230
-4.9343945451585926e-219
8
-8.293022642827807e-212
-3.096541019245516e-216
-6.392110650805612e-214
8
-6.444780237809655e-104
-2.5273082612099122e-107
-3.111385399016493e-107

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0179273
1183273
2183273
done183273

end0.0ms

sample19.7s

Algorithm
intervals
Results
11.4s72747×body80valid