Details

sample48.0ms

Algorithm

intervals

Results

34.0ms

256×

body

valid

simplify289.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

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

prune8.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:

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

rewrite486.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

350.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
28.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
26.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
23.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

series179.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

63.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
43.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
42.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
32.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

simplify7.0m

Counts

1756 → 952

Calls

1756 calls:

Slowest

914.0ms	(fma (- (/ (/ (cbrt 2) (cbrt t)) (+ 1 (/ 1 t)))) (/ (/ (* (cbrt 2) (cbrt 2)) (* (cbrt t) (cbrt t))) 1) (* (/ (/ (cbrt 2) (cbrt t)) (+ 1 (/ 1 t))) (/ (/ (* (cbrt 2) (cbrt 2)) (* (cbrt t) (cbrt t))) 1)))
879.0ms	(fma 1 2 (- (* (/ (cbrt (/ 2 t)) (+ 1 (/ 1 t))) (/ (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) 1))))
851.0ms	(fma (- (/ (/ (sqrt 2) (cbrt t)) (cbrt (+ 1 (/ 1 t))))) (/ (/ (sqrt 2) (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))) (* (/ (/ (sqrt 2) (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ (sqrt 2) (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t)))))))
834.0ms	(fma 1 2 (- (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))
804.0ms	(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ (/ 2 t) (sqrt (+ 1 (/ 1 t)))) (/ (/ 1 1) (sqrt (+ 1 (/ 1 t)))))))

prune11.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.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

47.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
45.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
24.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
0.0ms	(fma 1 2 (- (* (cbrt (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (cbrt (/ (/ 2 t) (+ 1 (/ 1 t)))) (cbrt (/ (/ 2 t) (+ 1 (/ 1 t))))))))

series200.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

97.0ms	(fma 1 2 (- (* (cbrt (/ (/ 2 t) (+ 1 (/ 1 t)))) (* (cbrt (/ (/ 2 t) (+ 1 (/ 1 t)))) (cbrt (/ (/ 2 t) (+ 1 (/ 1 t))))))))
39.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
38.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
26.0ms	(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))