Details

sample1.1s

Algorithm

intervals

Results

625.0ms

2522×

body

valid

simplify480.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

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

series230.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2s

Counts

132 → 132

Iterations

Useful iterations: 2 (362.0ms)

Iter	Nodes	Cost
0	341	3300
1	1089	3224
2	4940	2980
done	5000	2980

prune414.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

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

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	(* (- (* 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)))

series229.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2s

Counts

132 → 132

Iterations

Useful iterations: 2 (356.0ms)

Iter	Nodes	Cost
0	341	3300
1	1090	3224
2	4941	2976
done	5000	2976

prune589.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

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

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

series227.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify711.0ms

Counts

132 → 132

Iterations

Useful iterations: 2 (193.0ms)

Iter	Nodes	Cost
0	180	3300
1	576	3224
2	2551	2984
done	5001	2984

prune371.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

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

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

simplify970.0ms

Counts

132 → 132

Iterations

Useful iterations: 2 (270.0ms)

Iter	Nodes	Cost
0	261	3300
1	833	3224
2	3742	2984
done	5001	2984

prune190.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.5s

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

simplify18.0ms

Iterations

Useful iterations: 0 (4.0ms)

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

end0.0ms

sample30.5s

Algorithm

intervals

Results

18.3s

72998×

body

valid

Details

sample1.1s

simplify480.0ms

prune10.0ms

localize70.0ms

rewrite43.0ms

series230.0ms

simplify1.2s

prune414.0ms

localize74.0ms

rewrite43.0ms

series229.0ms

simplify1.2s

prune589.0ms

localize72.0ms

rewrite51.0ms

series227.0ms

simplify711.0ms

prune371.0ms

localize81.0ms

rewrite44.0ms

series227.0ms

simplify970.0ms

prune190.0ms

regimes5.5s

bsearch1.7s

simplify18.0ms

end0.0ms

sample30.5s

Profiling