Details

sample68.0ms

Algorithm

intervals

Results

50.0ms

256×

body

valid

simplify254.0ms

Calls

1 calls:

Slowest

254.0ms

(/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- 2 (/ 2 (+ 1 t)))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `pow1` `sub-neg` `*-un-lft-identity` `flip3--` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--` `add-log-exp`

Calls

4 calls:

Slowest

1.0ms	(- 2 (/ 2 (+ 1 t)))
0.0ms	(- 2 (/ 2 (+ 1 t)))
0.0ms	(- 2 (/ 2 (+ 1 t)))
0.0ms	(- 2 (/ 2 (+ 1 t)))

series44.0ms

Calls

4 calls:

Slowest

14.0ms	(- 2 (/ 2 (+ 1 t)))
11.0ms	(- 2 (/ 2 (+ 1 t)))
9.0ms	(- 2 (/ 2 (+ 1 t)))
9.0ms	(- 2 (/ 2 (+ 1 t)))

simplify2.4s

Calls

12 calls:

Slowest

347.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
320.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
296.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
295.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
176.0ms	(- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))

prune583.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
4×	`add-sqr-sqrt` `pow1` `sub-neg` `*-un-lft-identity` `flip3--` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--`
1×	`diff-log` `difference-of-squares`

Calls

4 calls:

Slowest

6.0ms	(- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
1.0ms	(- 2 (/ 2 (+ 1 t)))
1.0ms	(- 2 (/ 2 (+ 1 t)))
1.0ms	(- 2 (/ 2 (+ 1 t)))

series44.0ms

Calls

4 calls:

Slowest

15.0ms	(- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
11.0ms	(- 2 (/ 2 (+ 1 t)))
9.0ms	(- 2 (/ 2 (+ 1 t)))
9.0ms	(- 2 (/ 2 (+ 1 t)))

simplify2.5s

Calls

15 calls:

Slowest

324.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
257.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
252.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
215.0ms	(- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
209.0ms	(/ (exp (* 2 2)) (exp (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))

prune585.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

3.4b	(posit16->real (real->posit16 (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))))
3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- 2 (/ 2 (+ 1 t)))
3.0b	(- 2 (/ 2 (+ 1 t)))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`
3×	`sub-neg` `flip3--` `flip--`
1×	`remove-posit16`

Calls

4 calls:

Slowest

1.0ms	(- 2 (/ 2 (+ 1 t)))
1.0ms	(- 2 (/ 2 (+ 1 t)))
1.0ms	(- 2 (/ 2 (+ 1 t)))
0.0ms	(posit16->real (real->posit16 (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))))

series59.0ms

Calls

4 calls:

Slowest

17.0ms	(posit16->real (real->posit16 (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))))
15.0ms	(- 2 (/ 2 (+ 1 t)))
14.0ms	(- 2 (/ 2 (+ 1 t)))
13.0ms	(- 2 (/ 2 (+ 1 t)))

simplify2.4s

Calls

13 calls:

Slowest

326.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
300.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
285.0ms	(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
193.0ms	(- (+ (* 8 (/ 1 (pow t 3))) 4) (* 4 (/ 1 (pow t 2))))
190.0ms	(- (+ (* 8 t) (* 16 (pow t 3))) (* 12 (pow t 2)))

prune1.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes21.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample2.1s

Algorithm

intervals

Results

2.0s

8000×

body

valid