Details

sample127.0ms

Algorithm

intervals

Results

54.0ms

614×

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	1643	29
6	4105	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: 11.1b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
3.5b	(* x (- (* y z) (* t a)))
5.1b	(* j (- (* c a) (* y i)))
5.9b	(* b (- (* c z) (* t i)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 107

Calls

4 calls:

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

series330.0ms

Counts

4 → 12

Calls

4 calls:

269.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
20.0ms	(* x (- (* y z) (* t a)))
20.0ms	(* j (- (* c a) (* y i)))
20.0ms	(* b (- (* c z) (* t i)))

simplify1.1s

Counts

119 → 119

Iterations

Useful iterations: 2 (314.0ms)

Iter	Nodes	Cost
0	275	3882
1	958	3622
2	4428	3492
done	5000	3492

prune516.0ms

Filtered

81 candidates to 119 candidates (-46.9%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	96	23	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	23	120

Merged error: 4.9b

Counts

120 → 23

localize23.0ms

Local error

Found 4 expressions with local error:

3.5b	(* x (- (* y z) (* t a)))
4.7b	(* z (* b c))
4.7b	(* b (neg (* t i)))
5.1b	(* j (- (* c a) (* y i)))

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

series56.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify490.0ms

Counts

100 → 100

Iterations

Useful iterations: 2 (123.0ms)

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

prune234.0ms

Filtered

66 candidates to 100 candidates (-51.5%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	95	5	100
Fresh	5	17	22
Picked	1	0	1
Done	0	0	0
Total	101	22	123

Merged error: 3.9b

Counts

123 → 22

localize23.0ms

Local error

Found 4 expressions with local error:

3.5b	(* x (- (* y z) (* t a)))
4.7b	(* b (neg (* t i)))
5.1b	(* j (- (* c a) (* y i)))
5.2b	(* (* z b) c)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `associate-r` `add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`associate-l`
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)))
5.0ms	(* b (neg (* t i)))
6.0ms	(* j (- (* c a) (* y i)))
5.0ms	(* (* z b) c)

series55.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify527.0ms

Counts

100 → 100

Iterations

Useful iterations: 2 (125.0ms)

Iter	Nodes	Cost
0	178	1004
1	461	984
2	1657	853
done	5000	853

prune218.0ms

Filtered

65 candidates to 100 candidates (-53.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	101	21	122

Merged error: 3.9b

Counts

122 → 21

localize31.0ms

Local error

Found 4 expressions with local error:

2.5b	(* (cbrt z) (* b c))
3.5b	(* x (- (* y z) (* t a)))
4.7b	(* b (neg (* t i)))
5.1b	(* j (- (* c a) (* y i)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `associate-l`
13×	`associate-r` `add-cbrt-cube`
12×	`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×	`cbrt-prod` `unswap-sqr`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 91

Calls

4 calls:

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

series76.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify495.0ms

Counts

103 → 103

Iterations

Useful iterations: 2 (129.0ms)

Iter	Nodes	Cost
0	193	1052
1	493	1031
2	1656	902
done	5001	902

prune102.0ms

Filtered

70 candidates to 103 candidates (-47.1%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	20	20
Picked	0	1	1
Done	0	0	0
Total	103	21	124

Merged error: 3.9b

Counts

124 → 21

regimes2.5s

Accuracy

33.4% (6.0b remaining)

Error of 10.4b against oracle of 4.4b and baseline of 13.4b

bsearch118.0ms

Steps

Iters	Range		Point
5	1.2543131518599219e+148	3.439117475269542e+148	1.2681277522219045e+148
7	-2.6939614067648074e-40	-1.1136168381328354e-41	-7.71818310151559e-41

simplify12.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	48	120
1	77	120
2	91	120
3	95	120
done	95	120

end0.0ms

sample3.7s

Algorithm

intervals

Results

1.7s

19342×

body

valid

Details

sample127.0ms

simplify1.6s

prune6.0ms

localize21.0ms

rewrite46.0ms

series330.0ms

simplify1.1s

prune516.0ms

localize23.0ms

rewrite26.0ms

series56.0ms

simplify490.0ms

prune234.0ms

localize23.0ms

rewrite27.0ms

series55.0ms

simplify527.0ms

prune218.0ms

localize31.0ms

rewrite27.0ms

series76.0ms

simplify495.0ms

prune102.0ms

regimes2.5s

bsearch118.0ms

simplify12.0ms

end0.0ms

sample3.7s

Profiling