Details

sample1.7s

Algorithm

intervals

Results

519.0ms	91×	body	640	valid
397.0ms	136×	body	1280	valid
353.0ms	40×	body	5120	valid
306.0ms	70×	body	2560	valid
56.0ms	73×	body	80	valid
36.0ms	28×	body	320	valid
12.0ms	18×	body	160	valid

simplify2.2s

Counts: 1 → 1

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.9b

localize89.0ms

Local error

Found 4 expressions with local error:

28.7b	(/ (/ (* (* (/ l t) (/ l t)) (/ 2 t)) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
3.6b	(/ (* (* (/ l t) (/ l t)) (/ 2 t)) (* (sin k) (tan k)))
1.5b	(* (* (/ l t) (/ l t)) (/ 2 t))
0.3b	(* (sin k) (tan k))

rewrite308.0ms

Algorithm

rewrite-expression-head

Rules

1053×	`add-cbrt-cube` `add-exp-log`
508×	`cbrt-undiv` `div-exp`
393×	`prod-exp` `cbrt-unprod`
20×	`add-sqr-sqrt`
19×	`times-frac`
16×	`associate-r`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`frac-times` `pow1` `associate-l/` `associate-r/`
8×	`associate-/l/`
7×	`associate-/l*`
6×	`associate-/r/`
5×	`div-inv`
4×	`expm1-log1p-u` `associate-l` `pow-prod-down` `tan-quot` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`unswap-sqr`
2×	`clear-num` `associate-/r` `frac-2neg` `-commutative`

Counts

4 → 406

Calls

4 calls:

Slowest

111.0ms	(/ (/ (* (* (/ l t) (/ l t)) (/ 2 t)) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
80.0ms	(/ (* (* (/ l t) (/ l t)) (/ 2 t)) (* (sin k) (tan k)))
62.0ms	(* (* (/ l t) (/ l t)) (/ 2 t))
24.0ms	(* (sin k) (tan k))

series724.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

308.0ms	(/ (/ (* (* (/ l t) (/ l t)) (/ 2 t)) (* (sin k) (tan k))) (* (/ k t) (/ k t)))
265.0ms	(/ (* (* (/ l t) (/ l t)) (/ 2 t)) (* (sin k) (tan k)))
77.0ms	(* (sin k) (tan k))
74.0ms	(* (* (/ l t) (/ l t)) (/ 2 t))

simplify889.0ms

Counts: 418 → 418

prune7.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 11.8b

localize64.0ms

Local error

Found 4 expressions with local error:

18.5b	(/ (/ (* (/ l t) (/ l t)) (sin k)) (/ k t))
15.9b	(/ (/ (/ 2 t) (tan k)) (/ k t))
6.4b	(* (/ (/ (* (/ l t) (/ l t)) (sin k)) (/ k t)) (/ (/ (/ 2 t) (tan k)) (/ k t)))
1.0b	(/ (* (/ l t) (/ l t)) (sin k))

rewrite253.0ms

Algorithm

rewrite-expression-head

Rules

4259×	`times-frac`
1922×	`add-sqr-sqrt`
1735×	`*-un-lft-identity` `add-cube-cbrt`
784×	`add-cbrt-cube` `add-exp-log`
577×	`associate-r`
507×	`cbrt-undiv` `div-exp`
244×	`div-inv`
159×	`prod-exp` `cbrt-unprod`
96×	`associate-l`
52×	`associate-/l*`
35×	`unswap-sqr`
31×	`associate-/r/`
29×	`associate-/r*`
27×	`tan-quot`
6×	`pow1`
5×	`associate-/l/`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg`
2×	`frac-times` `associate-l/` `associate-r/`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 1744

Calls

4 calls:

Slowest

117.0ms	(* (/ (/ (* (/ l t) (/ l t)) (sin k)) (/ k t)) (/ (/ (/ 2 t) (tan k)) (/ k t)))
27.0ms	(/ (* (/ l t) (/ l t)) (sin k))
24.0ms	(/ (/ (* (/ l t) (/ l t)) (sin k)) (/ k t))
19.0ms	(/ (/ (/ 2 t) (tan k)) (/ k t))

series745.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

351.0ms	(* (/ (/ (* (/ l t) (/ l t)) (sin k)) (/ k t)) (/ (/ (/ 2 t) (tan k)) (/ k t)))
149.0ms	(/ (/ (* (/ l t) (/ l t)) (sin k)) (/ k t))
146.0ms	(/ (/ (/ 2 t) (tan k)) (/ k t))
99.0ms	(/ (* (/ l t) (/ l t)) (sin k))

simplify6.2s

Counts: 1756 → 1756

prune32.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 8.1b

localize68.0ms

Local error

Found 4 expressions with local error:

15.9b	(/ (/ (/ 2 t) (tan k)) (/ k t))
11.1b	(/ (/ (/ l t) (sin k)) (/ 1 t))
6.1b	(/ (/ (/ l t) 1) k)
3.4b	(* (/ (/ (/ l t) 1) k) (* (/ (/ (/ l t) (sin k)) (/ 1 t)) (/ (/ (/ 2 t) (tan k)) (/ k t))))

rewrite308.0ms

Algorithm

rewrite-expression-head

Rules

4860×	`add-exp-log`
4500×	`times-frac`
3498×	`div-exp`
1940×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
1791×	`add-cbrt-cube`
1176×	`cbrt-undiv`
1098×	`prod-exp`
396×	`cbrt-unprod`
315×	`1-exp`
233×	`div-inv`
133×	`associate-l`
130×	`associate-/l*`
129×	`rec-exp`
29×	`associate-/r*`
16×	`associate-/r/`
14×	`tan-quot`
9×	`pow1`
5×	`frac-times` `associate-*r/`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg` `pow-prod-down` `associate-*l/` `associate-/l/`
1×	`associate-r` `*-commutative`

Counts

4 → 2407

Calls

4 calls:

Slowest

107.0ms	(* (/ (/ (/ l t) 1) k) (* (/ (/ (/ l t) (sin k)) (/ 1 t)) (/ (/ (/ 2 t) (tan k)) (/ k t))))
24.0ms	(/ (/ (/ 2 t) (tan k)) (/ k t))
20.0ms	(/ (/ (/ l t) (sin k)) (/ 1 t))
13.0ms	(/ (/ (/ l t) 1) k)

series606.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

344.0ms	(* (/ (/ (/ l t) 1) k) (* (/ (/ (/ l t) (sin k)) (/ 1 t)) (/ (/ (/ 2 t) (tan k)) (/ k t))))
162.0ms	(/ (/ (/ 2 t) (tan k)) (/ k t))
73.0ms	(/ (/ (/ l t) (sin k)) (/ 1 t))
27.0ms	(/ (/ (/ l t) 1) k)

simplify2.4m

Counts: 2419 → 2419

prune33.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.9b

localize45.0ms

Local error

Found 4 expressions with local error:

11.1b	(/ (/ (/ l t) (sin k)) (/ 1 t))
6.1b	(/ (/ (/ l t) 1) k)
3.4b	(* (/ (/ (/ l t) 1) k) (* (/ (/ (/ l t) (sin k)) (/ 1 t)) (* 2 (/ (cos k) (* k (sin k))))))
3.3b	(/ (/ l t) (sin k))

rewrite258.0ms

Algorithm

rewrite-expression-head

Rules

2674×	`times-frac`
2603×	`add-exp-log`
1503×	`div-exp`
1177×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
965×	`add-cbrt-cube`
942×	`prod-exp`
494×	`cbrt-undiv`
340×	`cbrt-unprod`
183×	`1-exp`
136×	`div-inv`
133×	`associate-l`
99×	`associate-/l*`
75×	`rec-exp`
19×	`associate-/r*`
13×	`pow1`
9×	`associate-*r/`
6×	`pow-prod-down`
5×	`frac-times`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg` `associate-*l/` `associate-/l/`
1×	`associate-r` `associate-/r/` `*-commutative`

Counts

4 → 1507

Calls

4 calls:

Slowest

154.0ms	(* (/ (/ (/ l t) 1) k) (* (/ (/ (/ l t) (sin k)) (/ 1 t)) (* 2 (/ (cos k) (* k (sin k))))))
20.0ms	(/ (/ (/ l t) (sin k)) (/ 1 t))
11.0ms	(/ (/ (/ l t) 1) k)
8.0ms	(/ (/ l t) (sin k))

series376.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

207.0ms	(* (/ (/ (/ l t) 1) k) (* (/ (/ (/ l t) (sin k)) (/ 1 t)) (* 2 (/ (cos k) (* k (sin k))))))
78.0ms	(/ (/ l t) (sin k))
70.0ms	(/ (/ (/ l t) (sin k)) (/ 1 t))
21.0ms	(/ (/ (/ l t) 1) k)

simplify6.2s

Counts: 1519 → 1519

prune18.2s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 5.8b

regimes546.0ms

Accuracy

0% (1.6b remaining)

Error of 7.3b against oracle of 5.7b and baseline of 7.3b

bsearch3.0ms

end0.0ms

sample25.7s

Algorithm

intervals

Results

7.7s	4136×	body	1280	valid
6.6s	2276×	body	2560	valid
5.0s	937×	body	5120	valid
3.9s	2528×	body	640	valid
1.1s	1046×	body	320	valid
769.0ms	2038×	body	80	valid
266.0ms	462×	body	160	valid