Details

sample1.1s

Algorithm

intervals

Results

635.0ms

2522×

body

valid

simplify450.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	63	95
1	132	95
2	348	95
3	1429	95
done	5000	95

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 26.0b

Counts

2 → 1

localize68.0ms

Local error

Found 4 expressions with local error:

8.3b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite43.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:

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

series235.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
58.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
57.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
61.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify337.0ms

Counts

132 → 132

Iterations

Useful iterations: done (332.0ms)

Iter	Nodes	Cost
0	341	3300
1	1089	3228
done	5000	3224

prune422.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	114	18	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	18	133

Merged error: 15.7b

Counts

133 → 18

localize73.0ms

Local error

Found 4 expressions with local error:

7.7b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.3b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite42.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:

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

series236.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
59.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
57.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
61.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify342.0ms

Counts

132 → 132

Iterations

Useful iterations: done (337.0ms)

Iter	Nodes	Cost
0	341	3300
1	1090	3228
done	5000	3220

prune379.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	1	16	17
Picked	1	0	1
Done	0	0	0
Total	132	18	150

Merged error: 14.6b

Counts

150 → 18

localize73.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.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:

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

series236.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
56.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
58.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
62.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify693.0ms

Counts

132 → 132

Iterations

Useful iterations: done (688.0ms)

Iter	Nodes	Cost
0	180	3300
1	576	3228
2	2624	2988
done	5000	2984

prune373.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	17	17
Picked	1	0	1
Done	0	0	0
Total	132	18	150

Merged error: 14.6b

Counts

150 → 18

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.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:

10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
16.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series233.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
57.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
60.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
57.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify954.0ms

Counts

132 → 132

Iterations

Useful iterations: done (949.0ms)

Iter	Nodes	Cost
0	261	3300
1	833	3228
2	3853	2988
done	5000	2984

prune194.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	17	17
Picked	0	1	1
Done	0	0	0
Total	132	18	150

Merged error: 14.6b

Counts

150 → 18

regimes5.6s

Accuracy

-18.1% (12.7b remaining)

Error of 28.9b against oracle of 16.3b and baseline of 27.0b

bsearch1.8s

Steps

Iters	Range		Point
10	1.113244175784219e+24	2.2910307889207542e+39	6.202764077163668e+26
8	1.3048712770945429e-124	9.020398932801143e-122	2.1425638083585965e-122
10	-4.56819422371517e-286	-4.612171384356011e-296	-2.990069015580344e-295

simplify22.0ms

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	130	441
1	205	441
2	206	441
done	206	441

end0.0ms

sample30.8s

Algorithm

intervals

Results

18.1s

72998×

body

valid

Details

sample1.1s

simplify450.0ms

prune10.0ms

localize68.0ms

rewrite43.0ms

series235.0ms

simplify337.0ms

prune422.0ms

localize73.0ms

rewrite42.0ms

series236.0ms

simplify342.0ms

prune379.0ms

localize73.0ms

rewrite45.0ms

series236.0ms

simplify693.0ms

prune373.0ms

localize78.0ms

rewrite50.0ms

series233.0ms

simplify954.0ms

prune194.0ms

regimes5.6s

bsearch1.8s

simplify22.0ms

end0.0ms

sample30.8s

Profiling