Details

sample22.0ms

Algorithm

intervals

Results

7.0ms	201×	body	80	valid
3.0ms	21×	body	640	valid
1.0ms	10×	body	1280	valid
1.0ms	15×	body	320	valid
1.0ms	9×	body	160	valid

simplify5.7s

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: 20.9b

localize8.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)))
7.6b	(/ (* (- 1.0 x) y) (+ y 1.0))

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

49.0ms	(* (- 1.0 x) y)
20.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
47.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

series248.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(* (- 1.0 x) y)
115.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
84.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

prune213.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 3 expressions with local error:

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

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

12.0ms	(/ y (+ y 1.0))
58.0ms	(* (- 1.0 x) (/ y (+ y 1.0)))
11.0ms	(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

series208.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(/ y (+ y 1.0))
59.0ms	(* (- 1.0 x) (/ y (+ y 1.0)))
104.0ms	(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

simplify1.6s

Counts

97 → 97

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	157	1229
1	395	1148
2	1387	1056
done	5000	1054

prune283.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite180.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` `flip3-+` `diff-log` `associate-*r/` `sum-log` `frac-sub` `add-cbrt-cube` `flip-+`
1×	`+-commutative` `sub-neg` `flip3--` `associate--l+` `flip--` `distribute-lft-out`

Counts

2 → 28

Calls

2 calls:

13.0ms	(+ x (/ 1.0 y))
166.0ms	(- (+ x (/ 1.0 y)) (* 1.0 (/ x y)))

series77.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(+ x (/ 1.0 y))
35.0ms	(- (+ x (/ 1.0 y)) (* 1.0 (/ x y)))

simplify2.4s

Counts

34 → 34

Iterations

Useful iterations: 3 (771.0ms)

Iter	Nodes	Cost
0	64	508
1	181	476
2	638	436
3	2910	415
done	5000	415

prune77.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (/ 1.0 y))) (cbrt (+ x (/ 1.0 y))))
0.6b	(cbrt (+ x (/ 1.0 y)))
0.6b	(cbrt (+ x (/ 1.0 y)))
0.6b	(cbrt (+ x (/ 1.0 y)))

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

96.0ms	(* (cbrt (+ x (/ 1.0 y))) (cbrt (+ x (/ 1.0 y))))
9.0ms	(cbrt (+ x (/ 1.0 y)))
9.0ms	(cbrt (+ x (/ 1.0 y)))
18.0ms	(cbrt (+ x (/ 1.0 y)))

series1.1s

Counts

4 → 12

Calls

4 calls:

315.0ms	(* (cbrt (+ x (/ 1.0 y))) (cbrt (+ x (/ 1.0 y))))
298.0ms	(cbrt (+ x (/ 1.0 y)))
240.0ms	(cbrt (+ x (/ 1.0 y)))
273.0ms	(cbrt (+ x (/ 1.0 y)))

simplify2.2s

Counts

107 → 107

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	168	1992
1	411	1838
2	1137	1736
3	3558	1597
done	5000	1561

prune382.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes200.0ms

Accuracy

100% (0.0b remaining)

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

bsearch124.0ms

Steps

Iters	Range		Point
10	3991008.2413703846	2.242237725246844e+22	283365302.99537873
10	-2141618727278.2056	-0.22637101271021068	-177179944.06686372

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

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

end0.0ms

sample885.0ms

Algorithm

intervals

Results

398.0ms	6167×	body	80	valid
110.0ms	707×	body	640	valid
102.0ms	382×	body	1280	valid
58.0ms	467×	body	320	valid
22.0ms	277×	body	160	valid