Details

sample60.0ms

Algorithm

intervals

Results

45.0ms

256×

body

valid

simplify277.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

277.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)))))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite178.0ms

Algorithm

rewrite-expression-head

Rules

1356×	`*-un-lft-identity`
1332×	`times-frac`
916×	`add-sqr-sqrt`
880×	`add-cube-cbrt`
852×	`prod-diff`
312×	`distribute-lft-out`
228×	`div-inv`
24×	`associate-/r/`
12×	`flip3-+` `fma-neg` `flip-+` `add-log-exp` `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--`

Counts

4 → 940

Calls

4 calls:

Slowest

46.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
43.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
24.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
22.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

series141.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

42.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
36.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
35.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
28.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

simplify6.9m

Counts

1756 → 952

Calls

1756 calls:

Slowest

922.0ms	(fma (- (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))) (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t)))))))
864.0ms	(fma (- (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))) (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t)))))))
824.0ms	(fma (sqrt 2) (sqrt 2) (- (* (/ (/ (cbrt 2) (sqrt t)) (+ 1 (/ 1 t))) (/ (/ (* (cbrt 2) (cbrt 2)) (sqrt t)) 1))))
815.0ms	(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ (/ (sqrt 2) (sqrt t)) (sqrt (+ 1 (/ 1 t)))) (/ (/ (sqrt 2) (sqrt t)) (sqrt (+ 1 (/ 1 t)))))))
779.0ms	(fma 1 2 (- (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))

prune9.7s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

20.3b	(fma 1 2 (- (* (/ (cbrt (/ 2 t)) (cbrt (+ 1 (/ 1 t)))) (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))
2.6b	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
2.6b	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
2.6b	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

1018×	`*-un-lft-identity`
999×	`times-frac`
688×	`add-sqr-sqrt`
661×	`add-cube-cbrt`
639×	`prod-diff`
234×	`distribute-lft-out`
171×	`div-inv`
18×	`associate-/r/`
10×	`add-log-exp`
9×	`flip3-+` `fma-neg` `flip-+` `difference-of-squares`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--`
1×	`fma-udef`

Counts

4 → 716

Calls

4 calls:

Slowest

27.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
24.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
22.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
0.0ms	(fma 1 2 (- (* (/ (cbrt (/ 2 t)) (cbrt (+ 1 (/ 1 t)))) (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))

series183.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

96.0ms	(fma 1 2 (- (* (/ (cbrt (/ 2 t)) (cbrt (+ 1 (/ 1 t)))) (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))
33.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
29.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
25.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))