Details

sample216.0ms

Algorithm

intervals

Results

202.0ms	189×	body	80	valid
2.0ms	24×	body	640	valid
2.0ms	27×	body	320	valid
1.0ms	11×	body	1280	valid
0.0ms	5×	body	160	valid

simplify3.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	35	11
3	70	11
4	130	11
5	213	11
6	256	11
7	272	11
8	299	11
9	368	11
10	420	11
11	426	11
12	441	11
13	477	11
14	567	11
15	799	11
16	1078	11
17	1509	11
18	1933	11
19	1968	11
done	1968	11

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- 1.0 x) y)
2.7b	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
5.9b	(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
13×	`add-sqr-sqrt`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `associate-l` `add-log-exp`
4×	`times-frac` `associate-l/` `associate-/r`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
1×	`sub-neg` `frac-2neg` `flip3-+` `diff-log` `pow-prod-down` `clear-num` `-commutative` `flip-+` `div-inv` `associate-/l` `unswap-sqr`

Counts

3 → 63

Calls

3 calls:

10.0ms	(* (- 1.0 x) y)
9.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
9.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

series141.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(* (- 1.0 x) y)
64.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
44.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

simplify851.0ms

Counts

72 → 72

Iterations

Useful iterations: done (849.0ms)

Iter	Nodes	Cost
0	128	885
1	336	828
2	1226	746
done	5000	744

prune156.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.2b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- 1.0 x) (/ y (+ y 1.0)))
0.0b	(/ y (+ y 1.0))
2.7b	(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

37×	`*-un-lft-identity`
28×	`add-sqr-sqrt`
25×	`times-frac`
21×	`add-cube-cbrt`
18×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out`
5×	`pow1` `associate-l` `add-log-exp`
4×	`associate-/r*` `associate-/r/`
3×	`flip3--` `flip--` `associate-/l*`
2×	`cbrt-undiv` `frac-times` `flip3-+` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `unswap-sqr`
1×	`sub-neg` `frac-2neg` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 88

Calls

3 calls:

22.0ms	(* (- 1.0 x) (/ y (+ y 1.0)))
5.0ms	(/ y (+ y 1.0))
2.0ms	(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

series151.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(* (- 1.0 x) (/ y (+ y 1.0)))
38.0ms	(/ y (+ y 1.0))
69.0ms	(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

simplify899.0ms

Counts

97 → 97

Iterations

Useful iterations: done (896.0ms)

Iter	Nodes	Cost
0	157	1229
1	399	1148
2	1379	1056
done	5001	1054

prune194.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- 1.0 x) y)
2.7b	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
5.9b	(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
13×	`add-sqr-sqrt`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `associate-l` `add-log-exp`
4×	`times-frac` `associate-l/` `associate-/r`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
1×	`sub-neg` `frac-2neg` `flip3-+` `diff-log` `pow-prod-down` `clear-num` `-commutative` `flip-+` `div-inv` `associate-/l` `unswap-sqr`

Counts

3 → 63

Calls

3 calls:

10.0ms	(* (- 1.0 x) y)
9.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
9.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

series142.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(* (- 1.0 x) y)
68.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
46.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

simplify866.0ms

Counts

72 → 72

Iterations

Useful iterations: done (864.0ms)

Iter	Nodes	Cost
0	128	885
1	336	828
2	1226	746
done	5000	744

prune131.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ y 1.0) y)
0.1b	(/ (- 1.0 x) (/ (+ y 1.0) y))
2.7b	(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

167×	`times-frac`
157×	`*-un-lft-identity`
120×	`add-sqr-sqrt`
77×	`add-cube-cbrt`
22×	`distribute-lft-out`
20×	`difference-of-squares`
19×	`associate-/r*`
18×	`distribute-lft-out--`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-/l*`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1`
2×	`flip3--` `frac-2neg` `div-sub` `clear-num` `flip--`
1×	`sub-neg` `flip3-+` `diff-log` `associate-/r/` `flip-+` `associate--r-`

Counts

3 → 169

Calls

3 calls:

7.0ms	(/ (+ y 1.0) y)
14.0ms	(/ (- 1.0 x) (/ (+ y 1.0) y))
38.0ms	(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

series161.0ms

Counts

3 → 9

Calls

3 calls:

50.0ms	(/ (+ y 1.0) y)
42.0ms	(/ (- 1.0 x) (/ (+ y 1.0) y))
69.0ms	(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

simplify914.0ms

Counts

178 → 178

Iterations

Useful iterations: 2 (395.0ms)

Iter	Nodes	Cost
0	249	3046
1	685	2843
2	2009	2731
done	5000	2731

prune320.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

regimes181.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.3b against oracle of 0.2b and baseline of 22.7b

bsearch78.0ms

Steps

Iters	Range		Point
9	4368.076441928604	211806068951.26135	115382551.39706199
9	-1.7466667409204087e+24	-6567036909727156.0	-6690123426642433.0

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	41
1	26	31
done	26	31

end0.0ms

sample463.0ms

Algorithm

intervals

Results

151.0ms	6102×	body	80	valid
65.0ms	706×	body	640	valid
51.0ms	363×	body	1280	valid
38.0ms	512×	body	320	valid
15.0ms	317×	body	160	valid