Details

Time bar (total: 2.4m)

sample52.0ms

Algorithm
intervals
Results
37.0ms256×body80valid

simplify191.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
190.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

localize40.0ms

Local error

Found 4 expressions with local error:

2.1b
(- 2 (/ 2 (+ 1 t)))
2.1b
(- 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)))

rewrite59.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
27.0ms
(- 2 (/ 2 (+ 1 t)))
15.0ms
(- 2 (/ 2 (+ 1 t)))
8.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
4.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))

series200.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
72.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
69.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
37.0ms
(- 2 (/ 2 (+ 1 t)))
21.0ms
(- 2 (/ 2 (+ 1 t)))

simplify1.4m

Counts
366 → 261
Calls
366 calls:
Slowest
816.0ms
(fma (sqrt 2) (sqrt 2) (- (* (/ (cbrt 2) (+ 1 t)) (/ (* (cbrt 2) (cbrt 2)) 1))))
677.0ms
(- 0 (log (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
617.0ms
(fma 1 1 (- (* (/ (sqrt 1) (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)) (/ (sqrt 1) 1))))
604.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
584.0ms
(fma 1 2 (- (* (- 1 t) (/ 2 (- (* 1 1) (* t t))))))

prune2.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

2.1b
(- 2 (/ 2 (+ 1 t)))
2.1b
(- 2 (/ 2 (+ 1 t)))
0.0b
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
0.0b
(expm1 (log1p (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
138×*-un-lft-identity
108×add-sqr-sqrt prod-diff
98×add-cube-cbrt
83×times-frac
18×distribute-lft-out
12×associate-/r/
8×add-exp-log add-log-exp
7×div-inv
6×flip3-+ add-cbrt-cube fma-neg flip-+
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u difference-of-squares
3×associate-/r* associate-/l*
2×sub-neg flip3-- diff-log div-exp flip-- distribute-lft-out--
1×cbrt-undiv rec-exp expm1-log1p clear-num frac-2neg 1-exp pow-flip inv-pow expm1-udef
Counts
4 → 196
Calls
4 calls:
Slowest
21.0ms
(- 2 (/ 2 (+ 1 t)))
21.0ms
(- 2 (/ 2 (+ 1 t)))
4.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
0.0ms
(expm1 (log1p (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))

series294.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
145.0ms
(expm1 (log1p (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))
81.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
41.0ms
(- 2 (/ 2 (+ 1 t)))
27.0ms
(- 2 (/ 2 (+ 1 t)))

simplify54.4s

Counts
271 → 208
Calls
271 calls:
Slowest
830.0ms
(fma (- (/ (cbrt 2) (cbrt (+ 1 t)))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))) (* (/ (cbrt 2) (cbrt (+ 1 t))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (+ 1 t)) (cbrt (+ 1 t))))))
676.0ms
(/ 1 (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
566.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (- 1 t) (/ 2 (- (* 1 1) (* t t))))))
560.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
555.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

sample1.7s

Algorithm
intervals
Results
1.5s8000×body80valid