Details

sample1.8s

Algorithm

intervals

Results

1.3s

2241×

body

valid

simplify1.1s

Counts

1 → 1

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	63	95
1	145	95
2	391	92
3	1923	92
done	5001	91

prune52.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.1b

localize125.0ms

Local error

Found 4 expressions with local error:

9.1b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.3b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.7b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite222.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`distribute-rgt-in` `pow1` `-un-lft-identity` `distribute-lft-in` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
8×	`sub-neg` `prod-diff` `associate-l/` `associate-r/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

67.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
52.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
45.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
50.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.2s

Counts

4 → 12

Calls

4 calls:

268.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
266.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
312.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
368.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify477.0ms

Counts

148 → 148

Iterations

Useful iterations: done (470.0ms)

Iter	Nodes	Cost
0	383	3668
1	1195	3512
done	5001	3272

prune4.2s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 17.6b

localize152.0ms

Local error

Found 4 expressions with local error:

9.1b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.3b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
10.7b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite182.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
19×	`flip3--` `flip--`
12×	`distribute-rgt-in` `frac-times` `pow1` `-un-lft-identity` `distribute-lft-in` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
8×	`sub-neg` `prod-diff` `associate-*r/`
6×	`associate-*l/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 130

Calls

4 calls:

71.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
38.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
22.0ms	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
44.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.2s

Counts

4 → 12

Calls

4 calls:

294.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
291.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
305.0ms	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
294.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify492.0ms

Counts

142 → 142

Iterations

Useful iterations: done (487.0ms)

Iter	Nodes	Cost
0	360	3394
1	1096	3272
done	5000	3031

prune4.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 17.6b

localize231.0ms

Local error

Found 4 expressions with local error:

9.1b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.3b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.9b	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
10.7b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite177.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
19×	`flip3--` `flip--`
12×	`distribute-rgt-in` `frac-times` `pow1` `-un-lft-identity` `distribute-lft-in` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
8×	`sub-neg` `prod-diff` `associate-*r/`
6×	`associate-*l/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 130

Calls

4 calls:

38.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
43.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
41.0ms	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
50.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series973.0ms

Counts

4 → 12

Calls

4 calls:

233.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
230.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
272.0ms	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
238.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify483.0ms

Counts

142 → 142

Iterations

Useful iterations: done (474.0ms)

Iter	Nodes	Cost
0	360	3394
1	1096	3272
done	5000	3031

prune5.2s

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 17.6b

localize199.0ms

Local error

Found 4 expressions with local error:

9.9b	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
10.7b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.7b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.7b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
19×	`flip3--` `flip--`
12×	`distribute-rgt-in` `frac-times` `pow1` `-un-lft-identity` `distribute-lft-in` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
8×	`sub-neg` `prod-diff` `associate-*r/`
6×	`associate-*l/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 130

Calls

4 calls:

22.0ms	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
39.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
59.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.1s

Counts

4 → 12

Calls

4 calls:

296.0ms	(* (fma y4 b (- (* i y5))) (- (* t j) (* y k)))
264.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
258.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
245.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify1.3s

Counts

142 → 142

Iterations

Useful iterations: 2 (325.0ms)

Iter	Nodes	Cost
0	173	3394
1	500	3272
2	2398	3023
done	5001	3023

prune4.1s

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 17.6b

regimes13.0s

Accuracy

-29.5% (10.6b remaining)

Error of 29.5b against oracle of 18.9b and baseline of 27.1b

bsearch4.9s

Steps

Iters	Range		Point
8	3468324206508524.5	1.5511076408325942e+18	3.644593803748609e+17
8	7.331767472293195e-190	1.260963936824762e-185	8.088060442995522e-189
8	-5.619290988023401e-272	-3.237161375837023e-276	-1.462522572227378e-273
9	-7.006734049211318e-85	-2.134422437669803e-90	-4.739454176589032e-88

simplify38.0ms

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	114	536
1	177	526
2	179	526
done	179	526

end0.0ms

sample35.9s

Algorithm

intervals

Results

27.3s

70634×

body

valid