Details

sample23.0ms

Algorithm

intervals

Results

6.0ms	191×	body	80	valid
3.0ms	25×	body	640	valid
2.0ms	12×	body	1280	valid
1.0ms	14×	body	320	valid
1.0ms	14×	body	160	valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	35	11
3	74	11
4	123	11
5	210	11
6	232	11
7	248	11
8	275	11
9	327	11
10	346	11
11	352	11
12	367	11
13	383	11
14	470	11
15	561	11
16	816	11
17	1118	11
18	1527	11
19	1608	11
done	1608	11

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- 1.0 x) y)
3.2b	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
5.3b	(/ (* (- 1.0 x) y) (+ y 1.0))

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

23.0ms	(* (- 1.0 x) y)
25.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
24.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

series206.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(* (- 1.0 x) y)
113.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
57.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

simplify1.6s

Counts

72 → 72

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	128	885
1	335	828
2	1274	746
done	5001	744

prune232.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 3 expressions with local error:

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

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

62.0ms	(* (- 1.0 x) (/ y (+ y 1.0)))
28.0ms	(/ y (+ y 1.0))
12.0ms	(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

series237.0ms

Counts

3 → 9

Calls

3 calls:

70.0ms	(* (- 1.0 x) (/ y (+ y 1.0)))
60.0ms	(/ y (+ y 1.0))
107.0ms	(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

simplify1.7s

Counts

97 → 97

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	157	1229
1	395	1148
2	1389	1056
done	5001	1054

prune286.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- 1.0 x) (* y (/ 1 (+ y 1.0))))
0.0b	(/ 1 (+ y 1.0))
0.1b	(* y (/ 1 (+ y 1.0)))
5.2b	(- 1.0 (* (- 1.0 x) (* y (/ 1 (+ y 1.0)))))

rewrite136.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
32×	`add-exp-log` `add-sqr-sqrt`
26×	`times-frac`
23×	`add-cube-cbrt`
20×	`add-cbrt-cube`
19×	`associate-r`
13×	`prod-exp`
12×	`pow1`
8×	`associate-l`
7×	`cbrt-unprod` `distribute-lft-out`
6×	`associate-*r/` `div-exp` `add-log-exp`
4×	`frac-times` `flip3--` `pow-prod-down` `associate-/r*` `associate-/r/` `un-div-inv` `flip--`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`flip3-+` `associate-l/` `-commutative` `flip-+` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `clear-num` `distribute-lft-out--` `inv-pow` `difference-of-squares`

Counts

4 → 122

Calls

4 calls:

71.0ms	(* (- 1.0 x) (* y (/ 1 (+ y 1.0))))
13.0ms	(/ 1 (+ y 1.0))
40.0ms	(* y (/ 1 (+ y 1.0)))
7.0ms	(- 1.0 (* (- 1.0 x) (* y (/ 1 (+ y 1.0)))))

series267.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(* (- 1.0 x) (* y (/ 1 (+ y 1.0))))
34.0ms	(/ 1 (+ y 1.0))
55.0ms	(* y (/ 1 (+ y 1.0)))
98.0ms	(- 1.0 (* (- 1.0 x) (* y (/ 1 (+ y 1.0)))))

simplify1.5s

Counts

134 → 134

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	191	1696
1	480	1366
2	1362	1198
done	5000	1194

prune340.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `associate-+r+` `diff-log` `associate-*r/` `sum-log` `add-cbrt-cube`
1×	`+-commutative` `associate-+r-` `flip3--` `flip3-+` `frac-sub` `flip--` `flip-+` `div-inv` `distribute-lft-out` `distribute-lft-out--` `sub-div`

Counts

2 → 31

Calls

2 calls:

40.0ms	(+ x (- (/ 1.0 y) (* 1.0 (/ x y))))
29.0ms	(- (/ 1.0 y) (* 1.0 (/ x y)))

series104.0ms

Counts

2 → 6

Calls

2 calls:

34.0ms	(+ x (- (/ 1.0 y) (* 1.0 (/ x y))))
70.0ms	(- (/ 1.0 y) (* 1.0 (/ x y)))

simplify1.7s

Counts

37 → 37

Iterations

Useful iterations: 2 (102.0ms)

Iter	Nodes	Cost
0	63	546
1	175	496
2	506	472
3	2185	472
done	5000	472

prune63.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes69.0ms

Accuracy

100% (0.0b remaining)

Error of 0.2b against oracle of 0.2b and baseline of 14.4b

bsearch102.0ms

Steps

Iters	Range		Point
9	6884452.324493753	1848124645084217.8	176788432.60686103
9	-186345010136707.7	-3592450.023809973	-99997189.22729729

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	21	43
1	31	33
done	31	33

end0.0ms

sample897.0ms

Algorithm

intervals

Results

326.0ms	6103×	body	80	valid
136.0ms	704×	body	640	valid
96.0ms	369×	body	1280	valid
56.0ms	528×	body	320	valid
22.0ms	296×	body	160	valid