Details

sample127.0ms

Algorithm

intervals

Results

59.0ms

628×

body

valid

simplify1.6s

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	1640	29
6	4111	29
done	5000	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)))

rewrite27.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)))
7.0ms	(* j (- (* c t) (* i y)))
7.0ms	(* b (- (* c z) (* i a)))

series76.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.1s

Counts

96 → 96

Iterations

Useful iterations: 2 (116.0ms)

Iter	Nodes	Cost
0	167	1155
1	428	1141
2	1335	1007
3	4141	1007
done	5000	1007

prune244.0ms

Filtered

65 candidates to 96 candidates (-47.7%)

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

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

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

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

series53.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify505.0ms

Counts

100 → 100

Iterations

Useful iterations: 2 (128.0ms)

Iter	Nodes	Cost
0	175	1001
1	450	983
2	1562	852
done	5000	852

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

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

series56.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.4s

Counts

96 → 96

Iterations

Useful iterations: 2 (118.0ms)

Iter	Nodes	Cost
0	169	958
1	440	946
2	1413	806
3	4650	806
done	5000	806

prune194.0ms

Filtered

58 candidates to 96 candidates (-65.5%)

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

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

rewrite27.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))
6.0ms	(* j (- (* c t) (* i y)))

series76.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (cbrt z) (* b c))
20.0ms	(* x (- (* y z) (* t a)))
9.0ms	(* a (* i b))
20.0ms	(* j (- (* c t) (* i y)))

simplify1.2s

Counts

99 → 99

Iterations

Useful iterations: 3 (476.0ms)

Iter	Nodes	Cost
0	188	1009
1	482	994
2	1503	856
3	4738	852
done	5000	852

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

regimes2.0s

Accuracy

27.2% (7.8b remaining)

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

bsearch147.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.7s

Algorithm

intervals

Results

1.7s

19364×

body

valid

Details

sample127.0ms

simplify1.6s

prune6.0ms

localize21.0ms

rewrite27.0ms

series76.0ms

simplify1.1s

prune244.0ms

localize27.0ms

rewrite27.0ms

series53.0ms

simplify505.0ms

prune196.0ms

localize23.0ms

rewrite26.0ms

series56.0ms

simplify1.4s

prune194.0ms

localize27.0ms

rewrite27.0ms

series76.0ms

simplify1.2s

prune94.0ms

regimes2.0s

bsearch147.0ms

simplify13.0ms

end0.0ms

sample3.7s

Profiling