Details

sample1.0s

Algorithm

intervals

Results

610.0ms

2522×

body

valid

simplify669.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	95
1	132	95
2	348	95
3	1423	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

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

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

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

series225.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2s

Counts

132 → 132

Iterations

Useful iterations: 2 (374.0ms)

Iter	Nodes	Cost
0	341	3300
1	1078	3224
2	4885	2980
done	5000	2980

prune409.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

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

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

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

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

series230.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2s

Counts

132 → 132

Iterations

Useful iterations: 2 (379.0ms)

Iter	Nodes	Cost
0	341	3300
1	1079	3224
2	4892	2976
done	5000	2976

prune369.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

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

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

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

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

series224.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify771.0ms

Counts

132 → 132

Iterations

Useful iterations: 2 (191.0ms)

Iter	Nodes	Cost
0	180	3300
1	569	3224
2	2525	2984
done	5001	2984

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

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 y) (* z t)) (- (* a b) (* c i)))
10.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)))

series227.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.1s

Counts

132 → 132

Iterations

Useful iterations: 2 (278.0ms)

Iter	Nodes	Cost
0	261	3300
1	824	3224
2	3705	2984
done	5000	2984

prune184.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.3s

Accuracy

-18.1% (12.7b remaining)

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

bsearch1.7s

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

simplify15.0ms

Iterations

Useful iterations: 0 (4.0ms)

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

end0.0ms

sample30.0s

Algorithm

intervals

Results

17.9s

72998×

body

valid

Details

sample1.0s

simplify669.0ms

prune10.0ms

localize67.0ms

rewrite41.0ms

series225.0ms

simplify1.2s

prune409.0ms

localize72.0ms

rewrite41.0ms

series230.0ms

simplify1.2s

prune369.0ms

localize71.0ms

rewrite49.0ms

series224.0ms

simplify771.0ms

prune365.0ms

localize78.0ms

rewrite42.0ms

series227.0ms

simplify1.1s

prune184.0ms

regimes5.3s

bsearch1.7s

simplify15.0ms

end0.0ms

sample30.0s

Profiling