Details

sample1.9s

Algorithm

intervals

Results

1.6s

2115×

body

valid

simplify2.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
3	1712
2	349
1	132
0	63

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.5b

localize243.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `add-log-exp`

Counts

4 → 188

Calls

4 calls:

378.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
408.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
379.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
371.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series942.0ms

Counts

4 → 12

Calls

4 calls:

230.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
255.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
239.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
217.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.5s

Counts

200 → 200

Iterations

Iter	Nodes
done	5000
1	1414
0	459

prune4.4s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.3b

localize199.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `add-log-exp`

Counts

4 → 188

Calls

4 calls:

371.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
344.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
334.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
340.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series893.0ms

Counts

4 → 12

Calls

4 calls:

214.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
201.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
247.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
231.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.5s

Counts

200 → 200

Iterations

Iter	Nodes
done	5001
1	1412
0	457

prune4.9s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 12.9b

localize204.0ms

Local error

Found 4 expressions with local error:

8.7b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.2b	(* (* y4 b) (- (* t j) (* y k)))
9.4b	(* (- (* y5 i)) (- (* t j) (* y k)))
9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite958.0ms

Algorithm

rewrite-expression-head

Rules

109×	`add-sqr-sqrt`
95×	`associate-l`
68×	`*-un-lft-identity`
53×	`associate-r`
33×	`unswap-sqr`
24×	`distribute-lft-out--` `difference-of-squares`
20×	`add-cube-cbrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`flip3--` `flip--`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
8×	`distribute-rgt-in` `frac-times` `sub-neg` `distribute-lft-in` `associate-*r/`
7×	`*-commutative`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`associate-*l/` `insert-posit16` `add-log-exp`
1×	`distribute-lft-neg-out` `neg-mul-1`

Counts

4 → 199

Calls

4 calls:

303.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
157.0ms	(* (* y4 b) (- (* t j) (* y k)))
172.0ms	(* (- (* y5 i)) (- (* t j) (* y k)))
319.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series686.0ms

Counts

4 → 12

Calls

4 calls:

222.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
118.0ms	(* (* y4 b) (- (* t j) (* y k)))
136.0ms	(* (- (* y5 i)) (- (* t j) (* y k)))
209.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.3s

Counts

211 → 211

Iterations

Iter	Nodes
done	5001
1	1255
0	409

prune5.0s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 12.0b

localize260.0ms

Local error

Found 4 expressions with local error:

8.6b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.7b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.2b	(* (* y4 b) (- (* t j) (* y k)))
9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite985.0ms

Algorithm

rewrite-expression-head

Rules

111×	`add-sqr-sqrt`
76×	`associate-l`
70×	`*-un-lft-identity`
47×	`associate-r`
35×	`unswap-sqr`
28×	`distribute-lft-out--` `difference-of-squares`
19×	`flip3--` `flip--`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`add-cube-cbrt`
12×	`frac-times`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
6×	`pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
5×	`*-commutative`
4×	`insert-posit16` `add-log-exp`

Counts

4 → 187

Calls

4 calls:

304.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
251.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
152.0ms	(* (* y4 b) (- (* t j) (* y k)))
271.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series763.0ms

Counts

4 → 12

Calls

4 calls:

203.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
230.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
105.0ms	(* (* y4 b) (- (* t j) (* y k)))
225.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.4s

Counts

199 → 199

Iterations

Iter	Nodes
done	5000
1	1345
0	437

prune4.0s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 11.7b

regimes15.3s

Accuracy

-0.3% (11.0b remaining)

Error of 26.3b against oracle of 15.3b and baseline of 26.3b

bsearch3.9s

Steps

Iters	Range		Point
3	3.485679405618049e+62	4.380639659988839e+62	3.628464615810776e+62
9	1.509378879926803e-49	1.6299164484824146e-42	1.0173669078649319e-47
7	3.60040434428707e-214	4.48251734699779e-212	2.334135835101937e-213
5	-1.3023610871815145e-174	-3.6832789313477933e-175	-1.2156124862150228e-174

simplify154.0ms

Iterations

Iter	Nodes
done	218
3	218
2	214
1	206
0	130

end0.0ms

sample57.5s

Algorithm

intervals

Results

49.8s

72224×

body

valid