Details

sample84.0ms

Algorithm

intervals

Results

19.0ms	34×	body	1280	valid
16.0ms	183×	body	80	valid
15.0ms	39×	body	640	valid
8.0ms	29×	body	320	valid
2.0ms	11×	body	160	valid

simplify56.0ms

Counts: 1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.2b

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.1b	(/ (sin y) y)
3.1b	(/ (* x (/ (sin y) y)) z)

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
22×	`times-frac`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
5×	`pow1`
4×	`prod-exp` `cbrt-unprod` `associate-/l*`
3×	`associate-l` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-*r/` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 83

Calls

3 calls:

17.0ms	(* x (/ (sin y) y))
25.0ms	(/ (sin y) y)
19.0ms	(/ (* x (/ (sin y) y)) z)

series521.0ms

Counts

3 → 9

Calls

3 calls:

90.0ms	(* x (/ (sin y) y))
28.0ms	(/ (sin y) y)
403.0ms	(/ (* x (/ (sin y) y)) z)

simplify774.0ms

Counts: 92 → 92

prune311.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (/ 1 (/ y (sin y))))
0.1b	(/ y (sin y))
0.1b	(/ 1 (/ y (sin y)))
3.1b	(/ (* x (/ 1 (/ y (sin y)))) z)

rewrite147.0ms

Algorithm

rewrite-expression-head

Rules

159×	`times-frac`
106×	`add-sqr-sqrt`
94×	`*-un-lft-identity`
92×	`add-cube-cbrt`
64×	`add-exp-log`
44×	`associate-r`
34×	`add-cbrt-cube`
30×	`div-exp`
19×	`associate-/r*`
14×	`cbrt-undiv` `prod-exp`
11×	`div-inv`
7×	`pow1` `associate-/l*`
6×	`rec-exp` `1-exp` `cbrt-unprod`
5×	`unswap-sqr`
4×	`add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num`
2×	`associate-*r/` `associate-/r/` `un-div-inv` `associate-/l/`
1×	`pow-flip` `pow-prod-down` `*-commutative` `inv-pow`

Counts

4 → 207

Calls

4 calls:

71.0ms	(* x (/ 1 (/ y (sin y))))
11.0ms	(/ y (sin y))
22.0ms	(/ 1 (/ y (sin y)))
28.0ms	(/ (* x (/ 1 (/ y (sin y)))) z)

series251.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(* x (/ 1 (/ y (sin y))))
31.0ms	(/ y (sin y))
36.0ms	(/ 1 (/ y (sin y)))
102.0ms	(/ (* x (/ 1 (/ y (sin y)))) z)

simplify1.4s

Counts: 219 → 219

prune601.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ y (sin y))
0.2b	(/ (- x) (/ y (sin y)))
3.1b	(/ (/ (- x) (/ y (sin y))) (- z))

rewrite353.0ms

Algorithm

rewrite-expression-head

Rules

4008×	`times-frac`
1748×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
879×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
293×	`neg-mul-1`
148×	`associate-/l*`
135×	`div-inv`
26×	`associate-/r*`
19×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r/`
10×	`cbrt-undiv` `div-exp`
3×	`pow1` `frac-2neg` `div-sub` `distribute-frac-neg` `clear-num` `add-log-exp`
2×	`neg-sub0`
1×	`associate-/l/`

Counts

3 → 1711

Calls

3 calls:

6.0ms	(/ y (sin y))
21.0ms	(/ (- x) (/ y (sin y)))
91.0ms	(/ (/ (- x) (/ y (sin y))) (- z))

series217.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(/ y (sin y))
74.0ms	(/ (- x) (/ y (sin y)))
111.0ms	(/ (/ (- x) (/ y (sin y))) (- z))

simplify1.5s

Counts: 1720 → 1720

prune7.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (sin y))
0.1b	(/ 1 (* y (/ 1 (sin y))))
0.2b	(* y (/ 1 (sin y)))
3.1b	(/ (* x (/ 1 (* y (/ 1 (sin y))))) z)

rewrite166.0ms

Algorithm

rewrite-expression-head

Rules

122×	`add-exp-log`
53×	`div-exp`
44×	`prod-exp`
40×	`add-cbrt-cube`
31×	`add-sqr-sqrt`
26×	`times-frac`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
18×	`rec-exp` `1-exp`
15×	`cbrt-undiv`
13×	`associate-r`
10×	`pow1` `cbrt-unprod`
7×	`associate-/r` `associate-/l`
4×	`div-inv` `add-log-exp`
3×	`pow-flip` `frac-2neg` `associate-r/` `associate-l*` `clear-num` `un-div-inv` `unswap-sqr`
2×	`pow-prod-down` `associate-/r/` `associate-/l/` `inv-pow`
1×	`*-commutative`

Counts

4 → 148

Calls

4 calls:

13.0ms	(/ 1 (sin y))
22.0ms	(/ 1 (* y (/ 1 (sin y))))
33.0ms	(* y (/ 1 (sin y)))
86.0ms	(/ (* x (/ 1 (* y (/ 1 (sin y))))) z)

series180.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ 1 (sin y))
30.0ms	(/ 1 (* y (/ 1 (sin y))))
50.0ms	(* y (/ 1 (sin y)))
84.0ms	(/ (* x (/ 1 (* y (/ 1 (sin y))))) z)

simplify786.0ms

Counts: 160 → 160

prune286.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes217.0ms

Accuracy

63.2% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 2.6b

bsearch112.0ms

Steps

Iters	Range		Point
8	2.101757208090344e-126	6.9669611277779475e-124	3.9196695975406e-124
10	-1.5611845986841153e-197	-4.817850799225247e-210	-1.5340221033885378e-197

simplify370.0ms

end0.0ms

sample2.4s

Algorithm

intervals

Results

958.0ms	5887×	body	80	valid
573.0ms	973×	body	1280	valid
300.0ms	1041×	body	640	valid
154.0ms	560×	body	320	valid
41.0ms	288×	body	160	valid