Details

sample49.0ms

Algorithm

intervals

Results

15.0ms	58×	body	640	valid
9.0ms	140×	body	80	valid
6.0ms	20×	body	1280	valid
4.0ms	24×	body	320	valid
2.0ms	14×	body	160	valid

simplify137.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	18	15
2	31	15
3	41	15
4	50	15
5	55	15
6	64	15
7	82	15
8	99	15
9	109	15
done	109	15

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.7b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (+ x 1.0))
0.0b	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
0.0b	(/ 1.0 (- x 1.0))
3.1b	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite521.0ms

Algorithm

rewrite-expression-head

Rules

83×	`*-un-lft-identity`
47×	`times-frac`
43×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
14×	`distribute-lft-out--`
13×	`distribute-lft-out`
11×	`add-log-exp`
9×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
6×	`associate-/l*`
4×	`pow1` `associate-/r/`
3×	`flip3--` `frac-add` `flip--`
2×	`cbrt-undiv` `sub-neg` `associate-+l+` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `frac-sub` `flip-+` `div-inv`
1×	`+-commutative` `associate-+l-`

Counts

4 → 114

Calls

4 calls:

14.0ms	(/ 1.0 (+ x 1.0))
76.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
24.0ms	(/ 1.0 (- x 1.0))
402.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series508.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ 1.0 (+ x 1.0))
73.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
57.0ms	(/ 1.0 (- x 1.0))
341.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify2.6s

Counts

126 → 126

Iterations

Useful iterations: 3 (1.2s)

Iter	Nodes	Cost
0	213	1832
1	498	1716
2	1314	1630
3	3764	1608
done	5000	1608

prune354.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* 1.0 x) (* (+ x 1.0) 2.0))
0.0b	(/ 1.0 (- x 1.0))
2.1b	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
12.3b	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

rewrite163.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
24×	`add-sqr-sqrt`
18×	`times-frac`
16×	`add-cube-cbrt`
11×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
6×	`associate-/r` `associate-/l`
4×	`pow1` `associate-/r/` `distribute-lft-out--` `difference-of-squares`
3×	`cbrt-undiv` `flip3--` `div-exp` `flip--`
2×	`frac-2neg` `flip3-+` `div-sub` `associate-*l/` `clear-num` `flip-+` `div-inv` `associate-/l/`
1×	`+-commutative` `associate-+l-` `sub-neg` `diff-log` `frac-add` `prod-exp` `sum-log` `cbrt-unprod` `distribute-lft-out`

Counts

4 → 89

Calls

4 calls:

8.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
12.0ms	(/ 1.0 (- x 1.0))
112.0ms	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
28.0ms	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

series621.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(- (* 1.0 x) (* (+ x 1.0) 2.0))
36.0ms	(/ 1.0 (- x 1.0))
435.0ms	(+ (/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x)) (/ 1.0 (- x 1.0)))
77.0ms	(/ (- (* 1.0 x) (* (+ x 1.0) 2.0)) (* (+ x 1.0) x))

simplify1.7s

Counts

101 → 101

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	198	1796
1	541	1698
2	1735	1336
done	5000	1324

prune381.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (+ x 1.0))
0.0b	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
0.0b	(/ 1.0 (- x 1.0))
3.1b	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite615.0ms

Algorithm

rewrite-expression-head

Rules

83×	`*-un-lft-identity`
47×	`times-frac`
43×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
14×	`distribute-lft-out--`
13×	`distribute-lft-out`
11×	`add-log-exp`
9×	`associate-/r*`
8×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
6×	`associate-/l*`
4×	`pow1` `associate-/r/`
3×	`flip3--` `frac-add` `flip--`
2×	`cbrt-undiv` `sub-neg` `associate-+l+` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `frac-sub` `flip-+` `div-inv`
1×	`+-commutative` `associate-+l-`

Counts

4 → 114

Calls

4 calls:

20.0ms	(/ 1.0 (+ x 1.0))
97.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
11.0ms	(/ 1.0 (- x 1.0))
479.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series504.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(/ 1.0 (+ x 1.0))
53.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
42.0ms	(/ 1.0 (- x 1.0))
374.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify2.9s

Counts

126 → 126

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	213	1832
1	498	1716
2	1314	1630
3	3764	1608
done	5000	1608

prune367.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.3b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
0.1b	(/ 2.0 (pow x 5))
0.2b	(/ 2.0 (pow x 7))
0.4b	(/ 2.0 (pow x 3))

rewrite208.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
71×	`*-un-lft-identity`
63×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`unpow-prod-down`
26×	`associate-/r*`
19×	`add-exp-log`
12×	`cube-prod` `sqr-pow`
10×	`add-cbrt-cube`
9×	`div-exp` `associate-/l*`
6×	`add-log-exp`
5×	`div-inv` `distribute-lft-out`
4×	`pow1` `cube-mult` `unpow3`
3×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num`
1×	`+-commutative` `flip3-+` `frac-add` `sum-log` `flip-+`

Counts

4 → 172

Calls

4 calls:

152.0ms	(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
15.0ms	(/ 2.0 (pow x 5))
15.0ms	(/ 2.0 (pow x 7))
17.0ms	(/ 2.0 (pow x 3))

series297.0ms

Counts

4 → 12

Calls

4 calls:

129.0ms	(+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3)))
57.0ms	(/ 2.0 (pow x 5))
71.0ms	(/ 2.0 (pow x 7))
39.0ms	(/ 2.0 (pow x 3))

simplify969.0ms

Counts

184 → 184

Iterations

Useful iterations: done (964.0ms)

Iter	Nodes	Cost
0	255	2079
1	484	1812
2	1345	1744
done	5001	1742

prune673.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes127.0ms

Accuracy

96.7% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 9.6b

bsearch2.0ms

simplify6.0ms

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	34	93
1	45	91
done	45	91

end0.0ms

sample1.8s

Algorithm

intervals

Results

959.0ms	1898×	body	640	valid
315.0ms	4209×	body	80	valid
166.0ms	530×	body	1280	valid
145.0ms	914×	body	320	valid
46.0ms	453×	body	160	valid