Details

sample55.0ms

Algorithm

intervals

Results

17.0ms	51×	body	640	valid
12.0ms	49×	body	320	valid
12.0ms	137×	body	80	valid
3.0ms	19×	body	160	valid

simplify10.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	18
2	18
1	15
0	7

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- x 1))
0.0b	(/ 1 (+ x 1))
1.7b	(- (/ 1 (+ x 1)) (/ 1 (- x 1)))

rewrite107.0ms

Algorithm

rewrite-expression-head

Rules

98×	`*-un-lft-identity`
72×	`add-sqr-sqrt`
69×	`times-frac`
32×	`add-cube-cbrt`
27×	`distribute-lft-out--`
17×	`difference-of-squares`
11×	`associate-/r*` `add-exp-log`
10×	`distribute-lft-out`
7×	`add-cbrt-cube`
6×	`associate-/r/` `div-inv` `associate-/l*`
5×	`pow1` `add-log-exp`
4×	`difference-of-sqr-1` `div-exp`
3×	`insert-posit16` `flip--`
2×	`cbrt-undiv` `rec-exp` `clear-num` `frac-2neg` `flip3--` `1-exp` `flip-+` `pow-flip` `inv-pow`
1×	`sub-neg` `flip3-+` `diff-log` `frac-sub`

Counts

3 → 128

Calls

3 calls:

14.0ms	(/ 1 (- x 1))
13.0ms	(/ 1 (+ x 1))
77.0ms	(- (/ 1 (+ x 1)) (/ 1 (- x 1)))

series121.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(/ 1 (- x 1))
14.0ms	(/ 1 (+ x 1))
91.0ms	(- (/ 1 (+ x 1)) (/ 1 (- x 1)))

simplify700.0ms

Counts

137 → 137

Iterations

Iter	Nodes
done	2001
2	1080
1	401
0	185

prune333.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- x 1))
0.1b	(/ 1 (sqrt (+ x 1)))
0.1b	(/ (/ 1 (sqrt (+ x 1))) (sqrt (+ x 1)))
4.4b	(- (/ (/ 1 (sqrt (+ x 1))) (sqrt (+ x 1))) (/ 1 (- x 1)))

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

485×	`times-frac`
367×	`*-un-lft-identity`
339×	`add-sqr-sqrt`
251×	`sqrt-prod`
200×	`add-cube-cbrt`
56×	`distribute-lft-out`
44×	`difference-of-squares`
33×	`associate-/l*`
22×	`associate-/r/`
21×	`associate-/r*` `add-exp-log`
20×	`sqrt-div`
17×	`div-inv`
14×	`pow1`
13×	`add-cbrt-cube`
12×	`distribute-lft-out--`
10×	`flip3-+` `div-exp` `flip-+`
9×	`pow-flip`
6×	`add-log-exp` `pow-div`
5×	`cbrt-undiv` `sqrt-pow1` `pow1/2`
4×	`difference-of-sqr-1` `insert-posit16`
3×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `inv-pow`
2×	`flip3--` `flip--`
1×	`sub-neg` `diff-log` `frac-sub` `associate-/l/`

Counts

4 → 407

Calls

4 calls:

8.0ms	(/ 1 (- x 1))
9.0ms	(/ 1 (sqrt (+ x 1)))
26.0ms	(/ (/ 1 (sqrt (+ x 1))) (sqrt (+ x 1)))
100.0ms	(- (/ (/ 1 (sqrt (+ x 1))) (sqrt (+ x 1))) (/ 1 (- x 1)))

series167.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ 1 (- x 1))
45.0ms	(/ 1 (sqrt (+ x 1)))
21.0ms	(/ (/ 1 (sqrt (+ x 1))) (sqrt (+ x 1)))
86.0ms	(- (/ (/ 1 (sqrt (+ x 1))) (sqrt (+ x 1))) (/ 1 (- x 1)))

simplify759.0ms

Counts

419 → 419

Iterations

Iter	Nodes
done	2000
1	985
0	433

prune837.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.5b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ 2 (* x x)) (* x x))
0.2b	(/ 2 (* (* (* x x) x) (* (* x x) x)))
0.6b	(/ 2 (* x x))
0.6b	(/ 2 (* x x))

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

82×	`add-cbrt-cube` `add-exp-log`
34×	`prod-exp` `cbrt-unprod`
24×	`cbrt-undiv` `div-exp`
22×	`times-frac`
16×	`associate-/l*`
14×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`div-inv`
4×	`pow1` `clear-num` `associate-/r*` `frac-2neg` `insert-posit16` `add-log-exp`
1×	`associate-/l/`

Counts

4 → 121

Calls

4 calls:

23.0ms	(/ (/ 2 (* x x)) (* x x))
74.0ms	(/ 2 (* (* (* x x) x) (* (* x x) x)))
10.0ms	(/ 2 (* x x))
10.0ms	(/ 2 (* x x))

series217.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/ (/ 2 (* x x)) (* x x))
80.0ms	(/ 2 (* (* (* x x) x) (* (* x x) x)))
41.0ms	(/ 2 (* x x))
42.0ms	(/ 2 (* x x))

simplify670.0ms

Counts

133 → 133

Iterations

Iter	Nodes
done	2131
2	1490
1	356
0	143

prune355.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ 2 (* x x)) (* x x))
0.1b	(/ (/ 2 x) x)
0.2b	(/ 2 (* (* (* x x) x) (* (* x x) x)))
0.6b	(/ 2 (* x x))

rewrite130.0ms

Algorithm

rewrite-expression-head

Rules

94×	`times-frac`
82×	`add-cbrt-cube` `add-exp-log`
54×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
33×	`prod-exp` `cbrt-unprod`
26×	`associate-/l*`
25×	`cbrt-undiv` `div-exp`
10×	`div-inv`
6×	`associate-/r*`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
2×	`associate-/l/`

Counts

4 → 170

Calls

4 calls:

15.0ms	(/ (/ 2 (* x x)) (* x x))
8.0ms	(/ (/ 2 x) x)
93.0ms	(/ 2 (* (* (* x x) x) (* (* x x) x)))
10.0ms	(/ 2 (* x x))

series190.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(/ (/ 2 (* x x)) (* x x))
46.0ms	(/ (/ 2 x) x)
60.0ms	(/ 2 (* (* (* x x) x) (* (* x x) x)))
31.0ms	(/ 2 (* x x))

simplify883.0ms

Counts

182 → 182

Iterations

Iter	Nodes
done	2000
2	1947
1	662
0	261

prune566.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes70.0ms

Accuracy

99.8% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 26.4b

bsearch239.0ms

Steps

Iters	Range		Point
11	0.0038666078177206752	9.350013159855062e+31	199.8576714437756
10	-121993772661.31783	-0.0015977726548224043	-0.9927999296991189

simplify22.0ms

Iterations

Iter	Nodes
done	53
4	53
3	51
2	47
1	39
0	27

end0.0ms

sample2.0s

Algorithm

intervals

Results

719.0ms	1953×	body	640	valid
689.0ms	1255×	body	320	valid
394.0ms	4197×	body	80	valid
88.0ms	595×	body	160	valid