Details

sample85.0ms

Algorithm

intervals

Results

32.0ms	50×	body	1280	valid
21.0ms	38×	body	640	valid
13.0ms	133×	body	80	valid
6.0ms	21×	body	320	valid
3.0ms	14×	body	160	valid

simplify104.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	16
1	20	16
2	42	16
3	90	16
4	168	16
5	246	16
6	266	16
done	266	16

prune3.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: 12.9b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
0.3b	(* (/ 8.0 3.0) (sin (* x 0.5)))
12.8b	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-exp-log` `add-cbrt-cube`
19×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
13×	`times-frac`
12×	`prod-exp` `cbrt-unprod`
10×	`pow1`
7×	`cbrt-undiv` `div-exp`
6×	`associate-r`
5×	`associate-*l/`
4×	`pow-prod-down`
3×	`associate-/r*` `add-log-exp`
2×	`*-commutative` `div-inv` `unswap-sqr`
1×	`frac-2neg` `clear-num` `associate-/l/` `associate-/l*`

Counts

3 → 79

Calls

3 calls:

10.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
8.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
11.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

series22.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5)))
4.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))
12.0ms	(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x))

simplify524.0ms

Counts

88 → 88

Iterations

Useful iterations: done (521.0ms)

Iter	Nodes	Cost
0	163	1474
1	413	1463
2	1793	1156
done	5000	1120

prune196.0ms

Filtered

60 candidates to 88 candidates (-46.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	76	12	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	12	89

Merged error: 0.0b

Counts

89 → 12

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (sin (* x 0.5)) (sin x))
0.2b	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))
0.3b	(* (/ 8.0 3.0) (sin (* x 0.5)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
28×	`times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-r`
14×	`associate-l`
12×	`prod-exp` `cbrt-unprod`
10×	`pow1`
7×	`cbrt-undiv` `div-exp`
4×	`pow-prod-down` `associate-*l/`
3×	`associate-/r` `div-inv` `associate-/l` `add-log-exp`
2×	`*-commutative` `unswap-sqr`
1×	`frac-times` `frac-2neg` `associate-*r/` `clear-num`

Counts

3 → 98

Calls

3 calls:

5.0ms	(/ (sin (* x 0.5)) (sin x))
12.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))
7.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

series24.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ (sin (* x 0.5)) (sin x))
12.0ms	(* (* (/ 8.0 3.0) (sin (* x 0.5))) (/ (sin (* x 0.5)) (sin x)))
4.0ms	(* (/ 8.0 3.0) (sin (* x 0.5)))

simplify569.0ms

Counts

107 → 107

Iterations

Useful iterations: done (566.0ms)

Iter	Nodes	Cost
0	183	1718
1	462	1693
2	2104	1413
done	5000	1373

prune223.0ms

Filtered

79 candidates to 107 candidates (-35.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	103	4	107
Fresh	6	5	11
Picked	0	1	1
Done	0	0	0
Total	109	10	119

Merged error: 0b

Counts

119 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 8.0 (/ (sin (* x 0.5)) 3.0))
0.1b	(/ (sin (* x 0.5)) 3.0)
0.1b	(/ (sin (* x 0.5)) (sin x))
0.2b	(* (* 8.0 (/ (sin (* x 0.5)) 3.0)) (/ (sin (* x 0.5)) (sin x)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt`
37×	`times-frac`
35×	`add-cube-cbrt` `*-un-lft-identity`
34×	`add-exp-log` `add-cbrt-cube`
26×	`associate-r`
12×	`prod-exp` `cbrt-unprod`
11×	`pow1`
8×	`cbrt-undiv` `div-exp`
6×	`associate-/r` `associate-/l`
4×	`associate-r/` `associate-l*` `pow-prod-down` `div-inv` `add-log-exp`
2×	`frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
1×	`frac-times` `associate-*l/`

Counts

4 → 125

Calls

4 calls:

11.0ms	(* 8.0 (/ (sin (* x 0.5)) 3.0))
5.0ms	(/ (sin (* x 0.5)) 3.0)
5.0ms	(/ (sin (* x 0.5)) (sin x))
11.0ms	(* (* 8.0 (/ (sin (* x 0.5)) 3.0)) (/ (sin (* x 0.5)) (sin x)))

series28.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 8.0 (/ (sin (* x 0.5)) 3.0))
4.0ms	(/ (sin (* x 0.5)) 3.0)
8.0ms	(/ (sin (* x 0.5)) (sin x))
12.0ms	(* (* 8.0 (/ (sin (* x 0.5)) 3.0)) (/ (sin (* x 0.5)) (sin x)))

simplify670.0ms

Counts

137 → 137

Iterations

Useful iterations: done (667.0ms)

Iter	Nodes	Cost
0	206	2070
1	513	2030
2	2271	1740
done	5000	1692

prune283.0ms

Filtered

104 candidates to 137 candidates (-31.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	138	9	147

Merged error: 0b

Counts

147 → 9

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (sin (* x 0.5)) (sin x))
0.2b	(/ (* 8.0 (* (sin (* x 0.5)) (/ (sin (* x 0.5)) (sin x)))) 3.0)
0.2b	(* (sin (* x 0.5)) (/ (sin (* x 0.5)) (sin x)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
24×	`add-exp-log` `add-cbrt-cube`
22×	`times-frac`
21×	`add-cube-cbrt` `*-un-lft-identity`
13×	`associate-r`
7×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
6×	`associate-/r*`
5×	`pow1`
4×	`associate-/l*`
3×	`associate-r/` `associate-l*` `div-inv` `add-log-exp`
2×	`frac-2neg` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 85

Calls

3 calls:

5.0ms	(/ (sin (* x 0.5)) (sin x))
10.0ms	(/ (* 8.0 (* (sin (* x 0.5)) (/ (sin (* x 0.5)) (sin x)))) 3.0)
9.0ms	(* (sin (* x 0.5)) (/ (sin (* x 0.5)) (sin x)))

series30.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ (sin (* x 0.5)) (sin x))
12.0ms	(/ (* 8.0 (* (sin (* x 0.5)) (/ (sin (* x 0.5)) (sin x)))) 3.0)
10.0ms	(* (sin (* x 0.5)) (/ (sin (* x 0.5)) (sin x)))

simplify525.0ms

Counts

94 → 94

Iterations

Useful iterations: done (522.0ms)

Iter	Nodes	Cost
0	169	1598
1	415	1574
2	1744	1297
done	5000	1278

prune155.0ms

Filtered

68 candidates to 94 candidates (-38.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	94	9	103

Merged error: 0b

Counts

103 → 9

regimes55.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	14	16
done	14	16

end0.0ms

sample2.4s

Algorithm

intervals

Results

989.0ms	1510×	body	1280	valid
542.0ms	1208×	body	640	valid
458.0ms	4389×	body	80	valid
191.0ms	608×	body	320	valid
59.0ms	285×	body	160	valid

Details

sample85.0ms

simplify104.0ms

prune3.0ms

localize11.0ms

rewrite32.0ms

series22.0ms

simplify524.0ms

prune196.0ms

localize11.0ms

rewrite27.0ms

series24.0ms

simplify569.0ms

prune223.0ms

localize11.0ms

rewrite36.0ms

series28.0ms

simplify670.0ms

prune283.0ms

localize11.0ms

rewrite27.0ms

series30.0ms

simplify525.0ms

prune155.0ms

regimes55.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling