Details

sample1.1s

Algorithm

intervals

Results

324.0ms	128×	body	1280	valid
256.0ms	72×	body	2560	valid
243.0ms	39×	body	5120	valid
125.0ms	84×	body	640	valid
62.0ms	41×	body	320	valid
22.0ms	67×	body	80	valid
5.0ms	8×	body	160	valid

simplify3.6s

Counts

1 → 1

Iterations

Iter	Nodes
4	7847
3	994
2	173
1	51
0	19

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.6b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ k t) (/ k t))
1.0b	(/ (/ 2 (tan k)) (* (/ t l) t))
3.1b	(* (/ t l) (sin k))
25.5b	(/ (/ (/ (/ 2 (tan k)) (* (/ t l) t)) (* (/ t l) (sin k))) (* (/ k t) (/ k t)))

rewrite500.0ms

Algorithm

rewrite-expression-head

Rules

873×	`add-cbrt-cube` `add-exp-log`
519×	`cbrt-undiv` `div-exp`
228×	`prod-exp` `cbrt-unprod`
190×	`times-frac`
89×	`add-sqr-sqrt`
72×	`*-un-lft-identity` `add-cube-cbrt`
38×	`associate-/l*`
26×	`associate-l`
16×	`associate-r`
15×	`div-inv`
13×	`pow1` `swap-sqr`
12×	`associate-/r/`
8×	`associate-*l/`
6×	`unswap-sqr`
4×	`tan-quot` `insert-posit16` `add-log-exp`
2×	`frac-times` `clear-num` `associate-/r` `frac-2neg` `pow-prod-down` `associate-r/` `*-commutative` `associate-/l/`
1×	`pow2` `pow-plus` `pow-sqr` `pow-prod-up`

Counts

4 → 439

Calls

4 calls:

24.0ms	(* (/ k t) (/ k t))
29.0ms	(/ (/ 2 (tan k)) (* (/ t l) t))
12.0ms	(* (/ t l) (sin k))
71.0ms	(/ (/ (/ (/ 2 (tan k)) (* (/ t l) t)) (* (/ t l) (sin k))) (* (/ k t) (/ k t)))

series694.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (/ k t) (/ k t))
178.0ms	(/ (/ 2 (tan k)) (* (/ t l) t))
93.0ms	(* (/ t l) (sin k))
374.0ms	(/ (/ (/ (/ 2 (tan k)) (* (/ t l) t)) (* (/ t l) (sin k))) (* (/ k t) (/ k t)))

simplify885.0ms

Counts

451 → 451

Iterations

Iter	Nodes
1	2140
0	715

prune6.8s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 7.7b

localize61.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (/ 1 (* (/ t l) t)) (sin k))
3.8b	(/ (/ 2 (tan k)) (/ t l))
12.1b	(/ (/ (/ 2 (tan k)) (/ t l)) (/ k t))
17.4b	(/ (/ (/ 1 (* (/ t l) t)) (sin k)) (/ k t))

rewrite399.0ms

Algorithm

rewrite-expression-head

Rules

11639×	`times-frac`
4613×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
702×	`div-inv`
259×	`associate-/r/`
237×	`associate-/l*`
196×	`tan-quot`
188×	`add-exp-log`
129×	`div-exp`
116×	`add-cbrt-cube`
78×	`cbrt-undiv`
46×	`associate-*l/`
42×	`associate-/r*`
18×	`prod-exp`
9×	`rec-exp` `1-exp`
6×	`cbrt-unprod`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp` `associate-/l/`

Counts

4 → 3405

Calls

4 calls:

36.0ms	(/ (/ 1 (* (/ t l) t)) (sin k))
24.0ms	(/ (/ 2 (tan k)) (/ t l))
20.0ms	(/ (/ (/ 2 (tan k)) (/ t l)) (/ k t))
54.0ms	(/ (/ (/ 1 (* (/ t l) t)) (sin k)) (/ k t))

series675.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(/ (/ 1 (* (/ t l) t)) (sin k))
234.0ms	(/ (/ 2 (tan k)) (/ t l))
197.0ms	(/ (/ (/ 2 (tan k)) (/ t l)) (/ k t))
146.0ms	(/ (/ (/ 1 (* (/ t l) t)) (sin k)) (/ k t))

simplify11.0s

Counts

3417 → 3417

Iterations

Iter	Nodes
1	19987
0	5845

prune58.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.1b

localize96.0ms

Local error

Found 4 expressions with local error:

2.6b	(/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k))))
3.8b	(/ (/ 2 (tan k)) (/ t l))
4.0b	(/ (/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k)))) k)
12.1b	(/ (/ (/ 2 (tan k)) (/ t l)) (/ k t))

rewrite424.0ms

Algorithm

rewrite-expression-head

Rules

11984×	`times-frac`
4689×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
659×	`div-inv`
371×	`associate-/l*`
234×	`sqrt-prod`
218×	`associate-/r/`
196×	`tan-quot`
107×	`add-exp-log`
95×	`add-cbrt-cube`
70×	`cbrt-undiv` `div-exp`
30×	`associate-/r*`
6×	`prod-exp` `cbrt-unprod`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp` `associate-/l/`

Counts

4 → 3462

Calls

4 calls:

30.0ms	(/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k))))
30.0ms	(/ (/ 2 (tan k)) (/ t l))
54.0ms	(/ (/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k)))) k)
40.0ms	(/ (/ (/ 2 (tan k)) (/ t l)) (/ k t))

series792.0ms

Counts

4 → 12

Calls

4 calls:

139.0ms	(/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k))))
198.0ms	(/ (/ 2 (tan k)) (/ t l))
227.0ms	(/ (/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k)))) k)
227.0ms	(/ (/ (/ 2 (tan k)) (/ t l)) (/ k t))

simplify14.1s

Counts

3474 → 3474

Iterations

Iter	Nodes
1	18452
0	5850

prune1.3m

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 5.4b

localize131.0ms

Local error

Found 4 expressions with local error:

2.6b	(/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k))))
2.7b	(/ (/ 2 (* (/ (cbrt t) (cbrt l)) (/ (cbrt t) (cbrt l)))) (/ 1 (* (cbrt t) (cbrt t))))
2.8b	(/ (/ (/ 1 (tan k)) (/ (cbrt t) (cbrt l))) (/ k (cbrt t)))
4.0b	(/ (/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k)))) k)

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

56965×	`times-frac`
22419×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
16686×	`cbrt-prod`
1900×	`div-inv`
975×	`associate-/r/`
920×	`tan-quot`
745×	`associate-/l*`
332×	`add-exp-log`
234×	`sqrt-prod`
219×	`div-exp`
127×	`add-cbrt-cube`
119×	`cbrt-undiv`
52×	`prod-exp`
33×	`associate-/r*`
24×	`cbrt-unprod`
16×	`rec-exp` `1-exp`
8×	`frac-times` `associate-l/` `associate-r/`
4×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp` `associate-/l/`

Counts

4 → 13786

Calls

4 calls:

19.0ms	(/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k))))
52.0ms	(/ (/ 2 (* (/ (cbrt t) (cbrt l)) (/ (cbrt t) (cbrt l)))) (/ 1 (* (cbrt t) (cbrt t))))
48.0ms	(/ (/ (/ 1 (tan k)) (/ (cbrt t) (cbrt l))) (/ k (cbrt t)))
42.0ms	(/ (/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k)))) k)

series637.0ms

Counts

4 → 12

Calls

4 calls:

125.0ms	(/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k))))
114.0ms	(/ (/ 2 (* (/ (cbrt t) (cbrt l)) (/ (cbrt t) (cbrt l)))) (/ 1 (* (cbrt t) (cbrt t))))
186.0ms	(/ (/ (/ 1 (tan k)) (/ (cbrt t) (cbrt l))) (/ k (cbrt t)))
212.0ms	(/ (/ (/ (sqrt 1) (/ t l)) (* (cbrt (sin k)) (cbrt (sin k)))) k)

simplify1.5m

Counts

13798 → 13798

Iterations

Iter	Nodes
1	58692
0	17296

prune4.5m

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 2.9b

regimes626.0ms

Accuracy

0% (1.8b remaining)

Error of 4.7b against oracle of 3.0b and baseline of 4.7b

bsearch0.0ms

simplify5.0ms

Iterations

Iter	Nodes
2	37
1	37
0	30

end0.0ms

sample25.8s

Algorithm

intervals

Results

8.0s	4111×	body	1280	valid
6.6s	2119×	body	2560	valid
5.5s	947×	body	5120	valid
3.1s	2499×	body	640	valid
1.2s	992×	body	320	valid
566.0ms	2008×	body	80	valid
552.0ms	447×	body	160	valid