Details

Time bar (total: 1.4m)

sample58.0ms

Algorithm
intervals
Results
26.0ms256×body80valid

simplify194.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
194.0ms
(- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
181×*-un-lft-identity
154×add-sqr-sqrt
147×prod-diff
133×add-cube-cbrt
114×times-frac
18×distribute-lft-out
12×associate-/r/
11×div-inv
10×add-log-exp difference-of-squares
9×fma-neg
8×add-exp-log
6×flip3-+ add-cbrt-cube flip-+
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u distribute-lft-out--
3×associate-/r* sub-neg flip3-- diff-log flip-- associate-/l*
2×div-exp
1×cbrt-undiv rec-exp clear-num frac-2neg 1-exp pow-flip inv-pow
Counts
4 → 249
Calls
4 calls:
Slowest
34.0ms
(- 2 (/ 2 (+ 1 t)))
29.0ms
(- 2 (/ 2 (+ 1 t)))
16.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
8.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))

series233.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
85.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
79.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
35.0ms
(- 2 (/ 2 (+ 1 t)))
34.0ms
(- 2 (/ 2 (+ 1 t)))

simplify1.4m

Counts
366 → 261
Calls
366 calls:
Slowest
836.0ms
(fma (- (/ 2 (cbrt (+ 1 t)))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))))
788.0ms
(fma (sqrt 1) (sqrt 1) (- (* (/ (sqrt 1) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) (/ (sqrt 1) (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))))
516.0ms
(fma (sqrt 2) (sqrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
509.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
504.0ms
(fma (sqrt 2) (sqrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))

prune2.3s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.9s8000×body80valid