Details

sample123.0ms

Algorithm

intervals

Results

56.0ms

628×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	29
1	43	29
2	96	29
3	249	29
4	644	29
5	1710	29
6	4398	29
done	5001	29

prune6.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: 14.2b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* c z) (* i a))
3.3b	(* x (- (* y z) (* t a)))
5.8b	(* j (- (* c t) (* i y)))
8.3b	(* b (- (* c z) (* i a)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 84

Calls

4 calls:

4.0ms	(- (* c z) (* i a))
7.0ms	(* x (- (* y z) (* t a)))
12.0ms	(* j (- (* c t) (* i y)))
7.0ms	(* b (- (* c z) (* i a)))

series73.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (* c z) (* i a))
21.0ms	(* x (- (* y z) (* t a)))
20.0ms	(* j (- (* c t) (* i y)))
21.0ms	(* b (- (* c z) (* i a)))

simplify1.1s

Counts

96 → 96

Iterations

Useful iterations: 3 (384.0ms)

Iter	Nodes	Cost
0	167	1155
1	428	1144
2	1212	1015
3	4105	1007
done	5000	1007

prune239.0ms

Filtered

63 candidates to 96 candidates (-52.4%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	78	18	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	18	97

Merged error: 6.4b

Counts

97 → 18

localize23.0ms

Local error

Found 4 expressions with local error:

3.3b	(* x (- (* y z) (* t a)))
4.0b	(* z (* b c))
5.8b	(* j (- (* c t) (* i y)))
8.8b	(* b (neg (* i a)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`associate-r`
12×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`unswap-sqr`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 88

Calls

4 calls:

7.0ms	(* x (- (* y z) (* t a)))
8.0ms	(* z (* b c))
6.0ms	(* j (- (* c t) (* i y)))
7.0ms	(* b (neg (* i a)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* z (* b c))
20.0ms	(* j (- (* c t) (* i y)))
7.0ms	(* b (neg (* i a)))

simplify479.0ms

Counts

100 → 100

Iterations

Useful iterations: done (476.0ms)

Iter	Nodes	Cost
0	175	1001
1	450	988
2	1443	861
done	5000	852

prune191.0ms

Filtered

64 candidates to 100 candidates (-56.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	94	6	100
Fresh	7	10	17
Picked	1	0	1
Done	0	0	0
Total	102	16	118

Merged error: 2.3b

Counts

118 → 16

localize23.0ms

Local error

Found 4 expressions with local error:

3.3b	(* x (- (* y z) (* t a)))
4.0b	(* z (* b c))
4.8b	(* a (* i b))
5.8b	(* j (- (* c t) (* i y)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
12×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
2×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

6.0ms	(* x (- (* y z) (* t a)))
5.0ms	(* z (* b c))
5.0ms	(* a (* i b))
6.0ms	(* j (- (* c t) (* i y)))

series56.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* z (* b c))
6.0ms	(* a (* i b))
21.0ms	(* j (- (* c t) (* i y)))

simplify1.2s

Counts

96 → 96

Iterations

Useful iterations: 3 (443.0ms)

Iter	Nodes	Cost
0	169	958
1	440	950
2	1330	814
3	4727	806
done	5000	806

prune193.0ms

Filtered

60 candidates to 96 candidates (-60.0%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	89	7	96
Fresh	5	10	15
Picked	1	0	1
Done	0	0	0
Total	95	17	112

Merged error: 2.0b

Counts

112 → 17

localize28.0ms

Local error

Found 4 expressions with local error:

2.4b	(* (cbrt z) (* b c))
3.3b	(* x (- (* y z) (* t a)))
4.8b	(* a (* i b))
5.8b	(* j (- (* c t) (* i y)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log`
16×	`add-cbrt-cube`
15×	`add-sqr-sqrt` `associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`cbrt-prod`
2×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 87

Calls

4 calls:

6.0ms	(* (cbrt z) (* b c))
7.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* a (* i b))
7.0ms	(* j (- (* c t) (* i y)))

series77.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (cbrt z) (* b c))
23.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* a (* i b))
21.0ms	(* j (- (* c t) (* i y)))

simplify1.2s

Counts

99 → 99

Iterations

Useful iterations: 3 (452.0ms)

Iter	Nodes	Cost
0	188	1009
1	482	998
2	1419	864
3	4762	852
done	5000	852

prune95.0ms

Filtered

65 candidates to 99 candidates (-52.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	2	14	16
Picked	1	0	1
Done	0	0	0
Total	100	16	116

Merged error: 1.7b

Counts

116 → 16

regimes1.9s

Accuracy

27.2% (7.8b remaining)

Error of 10.2b against oracle of 2.4b and baseline of 13.1b

bsearch144.0ms

Steps

Iters	Range		Point
7	3.4049308129795133e-57	1.4318613810692543e-55	7.525009913141438e-56
10	-1.239642562641098e-49	-2.2377471603536513e-62	-4.1021458162135237e-60

simplify13.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	60	121
1	106	121
2	138	121
done	138	121

end0.0ms

sample3.6s

Algorithm

intervals

Results

1.7s

19364×

body

valid

Details

sample123.0ms

simplify1.9s

prune6.0ms

localize21.0ms

rewrite32.0ms

series73.0ms

simplify1.1s

prune239.0ms

localize23.0ms

rewrite31.0ms

series54.0ms

simplify479.0ms

prune191.0ms

localize23.0ms

rewrite26.0ms

series56.0ms

simplify1.2s

prune193.0ms

localize28.0ms

rewrite28.0ms

series77.0ms

simplify1.2s

prune95.0ms

regimes1.9s

bsearch144.0ms

simplify13.0ms

end0.0ms

sample3.6s

Profiling