Details

sample121.0ms

Algorithm

intervals

Results

51.0ms

614×

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	1713	29
6	4385	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

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

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

13.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)))
7.0ms	(* b (- (* c z) (* t i)))

series344.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.1s

Counts

119 → 119

Iterations

Useful iterations: 2 (290.0ms)

Iter	Nodes	Cost
0	275	3882
1	958	3626
2	4270	3496
done	5000	3496

prune310.0ms

Filtered

84 candidates to 119 candidates (-41.7%)

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

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

series57.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify477.0ms

Counts

100 → 100

Iterations

Useful iterations: done (475.0ms)

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

prune232.0ms

Filtered

64 candidates to 100 candidates (-56.3%)

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)

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)))
5.0ms	(* (* z b) c)

series57.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify493.0ms

Counts

100 → 100

Iterations

Useful iterations: done (491.0ms)

Iter	Nodes	Cost
0	178	1004
1	461	990
2	1566	858
done	5000	853

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

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

series77.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify483.0ms

Counts

103 → 103

Iterations

Useful iterations: done (481.0ms)

Iter	Nodes	Cost
0	193	1052
1	493	1036
2	1520	907
done	5000	902

prune96.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.4s

Accuracy

33.4% (6.0b remaining)

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

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

simplify10.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	48	119
1	71	119
2	78	119
3	82	119
done	82	119

end0.0ms

sample3.6s

Algorithm

intervals

Results

1.6s

19342×

body

valid

Details

sample121.0ms

simplify1.9s

prune6.0ms

localize27.0ms

rewrite37.0ms

series344.0ms

simplify1.1s

prune310.0ms

localize22.0ms

rewrite26.0ms

series57.0ms

simplify477.0ms

prune232.0ms

localize23.0ms

rewrite26.0ms

series57.0ms

simplify493.0ms

prune219.0ms

localize27.0ms

rewrite27.0ms

series77.0ms

simplify483.0ms

prune96.0ms

regimes2.4s

bsearch119.0ms

simplify10.0ms

end0.0ms

sample3.6s

Profiling