Details

sample123.0ms

Algorithm

intervals

Results

52.0ms

614×

body

valid

simplify3.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	29
1	43	29
2	96	29
3	248	29
4	625	29
5	1579	29
6	3737	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: 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)))

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

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

series333.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2s

Counts

119 → 119

Iterations

Useful iterations: 2 (338.0ms)

Iter	Nodes	Cost
0	275	3882
1	950	3622
2	4146	3492
done	5000	3492

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

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

series56.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify830.0ms

Counts

100 → 100

Iterations

Useful iterations: 2 (148.0ms)

Iter	Nodes	Cost
0	175	1001
1	443	983
2	1396	852
done	5000	852

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

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

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

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

series53.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify880.0ms

Counts

100 → 100

Iterations

Useful iterations: 2 (153.0ms)

Iter	Nodes	Cost
0	178	1004
1	449	984
2	1487	853
done	5000	853

prune218.0ms

Filtered

67 candidates to 100 candidates (-49.3%)

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

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

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

series76.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify798.0ms

Counts

103 → 103

Iterations

Useful iterations: 2 (156.0ms)

Iter	Nodes	Cost
0	193	1052
1	484	1031
2	1476	902
done	5002	902

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

Accuracy

33.4% (6.0b remaining)

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

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

simplify13.0ms

Iterations

Useful iterations: 0 (1.0ms)

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

end0.0ms

sample3.7s

Algorithm

intervals

Results

1.9s

19342×

body

valid

Details

sample123.0ms

simplify3.9s

prune6.0ms

localize21.0ms

rewrite41.0ms

series333.0ms

simplify1.2s

prune292.0ms

localize23.0ms

rewrite26.0ms

series56.0ms

simplify830.0ms

prune225.0ms

localize26.0ms

rewrite26.0ms

series53.0ms

simplify880.0ms

prune218.0ms

localize27.0ms

rewrite28.0ms

series76.0ms

simplify798.0ms

prune95.0ms

regimes2.3s

bsearch117.0ms

simplify13.0ms

end0.0ms

sample3.7s

Profiling