Details

sample436.0ms

Algorithm

intervals

Results

147.0ms	65×	body	1280	valid
116.0ms	57×	body	640	valid
108.0ms	211×	body	80	valid
27.0ms	20×	body	320	valid
13.0ms	18×	body	160	valid

simplify2.6s

Counts: 1 → 1

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.8b

localize49.0ms

Local error

Found 4 expressions with local error:

15.7b	(/ (/ 2 (/ t (/ (* (/ l t) (/ l t)) (sin k)))) (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
2.8b	(/ (* (/ l t) (/ l t)) (sin k))
1.0b	(/ t (/ (* (/ l t) (/ l t)) (sin k)))
0.4b	(/ 2 (/ t (/ (* (/ l t) (/ l t)) (sin k))))

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

1406×	`times-frac`
702×	`*-un-lft-identity`
534×	`add-sqr-sqrt` `add-cube-cbrt`
122×	`add-cbrt-cube` `add-exp-log`
90×	`associate-/l*`
89×	`div-inv`
84×	`distribute-lft-out`
76×	`cbrt-undiv` `div-exp`
40×	`associate-/r*`
37×	`associate-/r/`
20×	`tan-quot`
16×	`frac-add` `prod-exp` `cbrt-unprod`
6×	`frac-times` `associate-*l/`
4×	`pow1` `clear-num` `frac-2neg` `associate-*r/` `insert-posit16` `add-log-exp` `associate-/l/`
2×	`flip3-+` `flip-+`

Counts

4 → 677

Calls

4 calls:

Slowest

73.0ms	(/ (/ 2 (/ t (/ (* (/ l t) (/ l t)) (sin k)))) (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
20.0ms	(/ t (/ (* (/ l t) (/ l t)) (sin k)))
14.0ms	(/ 2 (/ t (/ (* (/ l t) (/ l t)) (sin k))))
13.0ms	(/ (* (/ l t) (/ l t)) (sin k))

series706.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

323.0ms	(/ (/ 2 (/ t (/ (* (/ l t) (/ l t)) (sin k)))) (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
145.0ms	(/ 2 (/ t (/ (* (/ l t) (/ l t)) (sin k))))
135.0ms	(/ t (/ (* (/ l t) (/ l t)) (sin k)))
102.0ms	(/ (* (/ l t) (/ l t)) (sin k))

simplify2.3s

Counts: 689 → 689

prune12.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 9.5b

localize166.0ms

Local error

Found 4 expressions with local error:

15.3b	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
15.3b	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
15.3b	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
13.3b	(/ (/ 1 (/ (* (cbrt t) (cbrt t)) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))) (* (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k))) (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))))

rewrite210.0ms

Algorithm

rewrite-expression-head

Rules

540×	`tan-quot`
437×	`times-frac`
432×	`frac-add`
382×	`add-exp-log`
297×	`cbrt-div`
256×	`frac-times`
244×	`div-exp`
151×	`associate-/r/`
146×	`associate-*l/`
113×	`*-un-lft-identity`
107×	`add-sqr-sqrt` `add-cube-cbrt`
92×	`associate-*r/`
90×	`cbrt-undiv`
88×	`add-cbrt-cube` `prod-exp`
71×	`associate-/l*`
54×	`flip3-+` `flip-+`
30×	`cbrt-unprod`
22×	`rec-exp` `1-exp`
21×	`div-inv`
12×	`cbrt-prod`
4×	`pow1` `insert-posit16` `add-log-exp`
3×	`pow1/3` `distribute-lft-out`
1×	`clear-num` `associate-/r*` `frac-2neg` `associate-/l/`

Counts

4 → 462

Calls

4 calls:

Slowest

124.0ms	(/ (/ 1 (/ (* (cbrt t) (cbrt t)) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))) (* (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k))) (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))))
31.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
19.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
16.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))

series1.6s

Counts

4 → 12

Calls

4 calls:

Slowest

562.0ms	(/ (/ 1 (/ (* (cbrt t) (cbrt t)) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))) (* (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k))) (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))))
341.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
335.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
323.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))

simplify3.2s

Counts: 474 → 474

prune15.7s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 9.5b

localize166.0ms

Local error

Found 4 expressions with local error:

15.3b	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
15.3b	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
15.3b	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
9.6b	(/ (* (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k))) (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))) (/ 1 (/ (cbrt t) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))))

rewrite269.0ms

Algorithm

rewrite-expression-head

Rules

2372×	`times-frac`
727×	`*-un-lft-identity`
721×	`add-sqr-sqrt` `add-cube-cbrt`
540×	`tan-quot`
432×	`frac-add`
326×	`associate-/r*`
318×	`cbrt-prod`
297×	`cbrt-div`
256×	`frac-times`
189×	`add-exp-log`
146×	`associate-*l/`
143×	`associate-/l/`
128×	`div-exp`
92×	`associate-*r/`
81×	`div-inv`
54×	`flip3-+` `flip-+`
48×	`cbrt-undiv`
45×	`add-cbrt-cube`
31×	`prod-exp`
12×	`rec-exp` `1-exp`
11×	`cbrt-unprod`
9×	`associate-/r/`
4×	`pow1` `insert-posit16` `add-log-exp`
3×	`pow1/3` `distribute-lft-out`
1×	`clear-num` `frac-2neg` `associate-/l*`

Counts

4 → 932

Calls

4 calls:

Slowest

146.0ms	(/ (* (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k))) (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))) (/ 1 (/ (cbrt t) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))))
30.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
26.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
16.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))

series1.5s

Counts

4 → 12

Calls

4 calls:

Slowest

518.0ms	(/ (* (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k))) (cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))) (/ 1 (/ (cbrt t) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))))
328.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
316.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
309.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))

simplify6.2s

Counts: 944 → 944

prune29.5s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 9.5b

localize249.0ms

Local error

Found 4 expressions with local error:

15.3b	(cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))
15.3b	(cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))
15.3b	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))
9.6b	(/ (* (cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k)))) (cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))) (* (/ 1 (/ (cbrt t) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))) (* (cbrt (* (* (cos k) (cos k)) (cos k))) (cbrt (* (* (cos k) (cos k)) (cos k))))))

rewrite722.0ms

Algorithm

rewrite-expression-head

Rules

493×	`add-exp-log`
258×	`div-exp`
221×	`associate-*l/`
177×	`prod-exp`
160×	`frac-add`
145×	`cbrt-div`
123×	`associate-*r/`
103×	`add-cbrt-cube`
98×	`cbrt-undiv` `cos-mult`
77×	`frac-times`
65×	`cbrt-unprod`
63×	`associate-/l/`
54×	`sin-cos-mult`
38×	`flip3-+` `flip-+`
24×	`rec-exp` `1-exp`
20×	`tan-quot`
10×	`cbrt-prod`
9×	`*-un-lft-identity`
7×	`add-sqr-sqrt` `associate-/r/` `add-cube-cbrt`
4×	`pow1` `insert-posit16` `add-log-exp`
3×	`pow1/3`
1×	`clear-num` `associate-/r` `frac-2neg` `times-frac` `div-inv` `distribute-lft-out` `associate-/l`

Counts

4 → 254

Calls

4 calls:

Slowest

584.0ms	(/ (* (cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k)))) (cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))) (* (/ 1 (/ (cbrt t) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))) (* (cbrt (* (* (cos k) (cos k)) (cos k))) (cbrt (* (* (cos k) (cos k)) (cos k))))))
59.0ms	(cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))
46.0ms	(cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))
16.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))

series1.7s

Counts

4 → 12

Calls

4 calls:

Slowest

615.0ms	(/ (* (cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k)))) (cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))) (* (/ 1 (/ (cbrt t) (/ (/ l t) (* (cbrt (sin k)) (cbrt (sin k)))))) (* (cbrt (* (* (cos k) (cos k)) (cos k))) (cbrt (* (* (cos k) (cos k)) (cos k))))))
381.0ms	(cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))
376.0ms	(cbrt (+ (* (+ (* (sin k) (cos k)) (* (cos k) (* (* (sin k) (/ k t)) (/ k t)))) (cos k)) (* (* (cos k) (cos k)) (sin k))))
338.0ms	(cbrt (+ (+ (tan k) (* (* (tan k) (/ k t)) (/ k t))) (tan k)))

simplify1.7s

Counts: 266 → 266

prune12.7s

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 9.5b

regimes849.0ms

Accuracy

0% (1.6b remaining)

Error of 11.3b against oracle of 9.7b and baseline of 11.3b

bsearch27.0ms

end0.0ms

sample15.2s

Algorithm

intervals

Results

6.1s	2097×	body	1280	valid
4.0s	1711×	body	640	valid
3.1s	6059×	body	80	valid
1.3s	838×	body	320	valid
402.0ms	449×	body	160	valid