Details

sample96.0ms

Algorithm

intervals

Results

80.0ms

256×

body

valid

simplify186.0ms

Calls

1 calls:

Slowest

186.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

3.1b	(- 2 (/ 2 (+ 1 t)))
3.1b	(- 2 (/ 2 (+ 1 t)))
0.0b	(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
0.0b	(fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

173×	`*-un-lft-identity`
147×	`prod-diff`
146×	`add-sqr-sqrt`
125×	`add-cube-cbrt`
105×	`times-frac`
18×	`distribute-lft-out`
12×	`associate-/r/`
10×	`div-inv` `add-log-exp` `difference-of-squares`
9×	`fma-neg`
6×	`flip3-+` `flip-+`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `distribute-lft-out--`
3×	`sub-neg` `flip3--` `diff-log` `flip--`
1×	`fma-udef`

Calls

4 calls:

Slowest

26.0ms	(- 2 (/ 2 (+ 1 t)))
17.0ms	(- 2 (/ 2 (+ 1 t)))
8.0ms	(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
0.0ms	(fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)

series193.0ms

Calls

4 calls:

Slowest

93.0ms	(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
49.0ms	(fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)
30.0ms	(- 2 (/ 2 (+ 1 t)))
21.0ms	(- 2 (/ 2 (+ 1 t)))

simplify1.2m

Calls

339 calls:

Slowest

738.0ms	(fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)) 1)))
495.0ms	(fma (sqrt 1) (sqrt 1) (- (* (/ (cbrt 1) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))))
493.0ms	(fma (- (/ (sqrt 2) (sqrt (+ 1 t)))) (/ (sqrt 2) (sqrt (+ 1 t))) (* (/ (sqrt 2) (sqrt (+ 1 t))) (/ (sqrt 2) (sqrt (+ 1 t)))))
486.0ms	(fma 1 1 (- (* (/ (cbrt 1) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))))
478.0ms	(fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (cbrt 1) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))))

prune2.6s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

30.3b	(fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t))))
3.1b	(- 2 (/ 2 (+ 1 t)))
0.0b	(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)))
0.0b	(fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

110×	`*-un-lft-identity`
98×	`add-sqr-sqrt`
93×	`prod-diff`
82×	`add-cube-cbrt`
68×	`times-frac`
9×	`distribute-lft-out`
8×	`add-log-exp` `difference-of-squares`
7×	`div-inv`
6×	`fma-neg` `associate-/r/`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`flip3-+` `flip-+` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `diff-log` `fma-udef` `flip--`

Calls

4 calls:

Slowest

23.0ms	(- 2 (/ 2 (+ 1 t)))
8.0ms	(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)))
1.0ms	(fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t))))
0.0ms	(fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)

series1.0s

Calls

4 calls:

Slowest

733.0ms	(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)))
178.0ms	(fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)
72.0ms	(fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t))))
34.0ms	(- 2 (/ 2 (+ 1 t)))

simplify46.7s

Calls

223 calls:

Slowest

552.0ms	(- (+ (* 2 t) (pow (sqrt 2) 2)) (+ (* 2 (pow t 2)) 2))
546.0ms	(fma (sqrt 1) (sqrt 1) (- (* (sqrt (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2))) (sqrt (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2))))))
517.0ms	(fma 1 2 (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
510.0ms	(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
460.0ms	(fma (- (/ 2 (cbrt (+ 1 t)))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))))

prune2.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

256×	`*-un-lft-identity`
216×	`prod-diff`
196×	`add-sqr-sqrt`
176×	`add-cube-cbrt`
148×	`times-frac`
36×	`distribute-lft-out`
24×	`associate-/r/`
12×	`flip3-+` `fma-neg` `flip-+` `div-inv` `add-log-exp`
8×	`difference-of-squares`
4×	`expm1-log1p-u` `pow1` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--` `distribute-lft-out--`

Calls

4 calls:

Slowest

24.0ms	(- 2 (/ 2 (+ 1 t)))
21.0ms	(- 2 (/ 2 (+ 1 t)))
20.0ms	(- 2 (/ 2 (+ 1 t)))
13.0ms	(- 2 (/ 2 (+ 1 t)))

series124.0ms

Calls

4 calls:

Slowest

41.0ms	(- 2 (/ 2 (+ 1 t)))
35.0ms	(- 2 (/ 2 (+ 1 t)))
27.0ms	(- 2 (/ 2 (+ 1 t)))
20.0ms	(- 2 (/ 2 (+ 1 t)))

simplify1.4m

Calls

476 calls:

Slowest

784.0ms	(fma (- (/ (cbrt 2) (+ 1 t))) (/ (* (cbrt 2) (cbrt 2)) 1) (* (/ (cbrt 2) (+ 1 t)) (/ (* (cbrt 2) (cbrt 2)) 1)))
612.0ms	(fma 1 2 (- (* (/ (cbrt 2) (+ 1 t)) (/ (* (cbrt 2) (cbrt 2)) 1))))
555.0ms	(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
552.0ms	(fma (- (/ (cbrt 2) (sqrt (+ 1 t)))) (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 t))) (* (/ (cbrt 2) (sqrt (+ 1 t))) (/ (* (cbrt 2) (cbrt 2)) (sqrt (+ 1 t)))))
534.0ms	(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))

prune4.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes18.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample1.6s

Algorithm

intervals

Results

1.5s

8000×

body

valid