Details

Time bar (total: 20.9s)

sample36.0ms

Algorithm
intervals
Results
26.0ms256×body80valid

simplify214.0ms

Calls
1 calls:
Slowest
214.0ms
(- 1 (/ 1 (+ 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

localize17.0ms

Local error

Found 4 expressions with local error:

4.0b
(- 2 (/ 2 (+ 1 t)))
4.0b
(- 2 (/ 2 (+ 1 t)))
0.0b
(* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))
0.0b
(/ 2 (+ 1 t))

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
43×*-un-lft-identity
18×times-frac
17×add-cube-cbrt
12×difference-of-squares
11×pow1
8×flip3-- add-cbrt-cube swap-sqr add-exp-log flip-- distribute-lft-out-- add-log-exp
6×associate-*r* associate-*l*
4×frac-times associate-/r* sub-neg insert-posit16 distribute-lft-out
3×associate-/l*
2×distribute-rgt-in distribute-lft-in diff-log associate-*l/ associate-*r/ associate-/r/
1×pow2 cbrt-undiv clear-num frac-2neg flip3-+ pow-plus div-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ div-inv unswap-sqr
Calls
4 calls:
Slowest
125.0ms
(* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))
22.0ms
(- 2 (/ 2 (+ 1 t)))
21.0ms
(- 2 (/ 2 (+ 1 t)))
14.0ms
(/ 2 (+ 1 t))

series124.0ms

Calls
4 calls:
Slowest
37.0ms
(- 2 (/ 2 (+ 1 t)))
36.0ms
(* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))
36.0ms
(- 2 (/ 2 (+ 1 t)))
15.0ms
(/ 2 (+ 1 t))

simplify9.7s

Calls
110 calls:
Slowest
546.0ms
(* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
494.0ms
(* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)))
431.0ms
(* (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))
352.0ms
(* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- 2 (/ 2 (+ 1 t))))
340.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))

prune928.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

4.0b
(- 2 (/ 2 (+ 1 t)))
4.0b
(log (/ (exp 2) (exp (/ 2 (+ 1 t)))))
0.0b
(exp (/ 2 (+ 1 t)))
0.0b
(/ 2 (+ 1 t))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
54×*-un-lft-identity
37×times-frac
36×add-sqr-sqrt
31×add-cube-cbrt
21×exp-prod
16×log-prod
11×add-exp-log
10×log-div
8×associate-/l*
7×associate-/r* distribute-lft-out add-log-exp
6×pow1 add-cbrt-cube
5×div-exp rem-log-exp
4×associate-/r/ insert-posit16 div-inv exp-lft-sqr
3×clear-num log-pow
2×frac-2neg flip3-+ log-rec flip-+ difference-of-squares pow-div
1×cbrt-undiv sub-neg flip3-- diff-log flip-- distribute-lft-out-- rem-exp-log
Calls
4 calls:
Slowest
23.0ms
(log (/ (exp 2) (exp (/ 2 (+ 1 t)))))
21.0ms
(- 2 (/ 2 (+ 1 t)))
21.0ms
(exp (/ 2 (+ 1 t)))
14.0ms
(/ 2 (+ 1 t))

series225.0ms

Calls
4 calls:
Slowest
144.0ms
(log (/ (exp 2) (exp (/ 2 (+ 1 t)))))
42.0ms
(exp (/ 2 (+ 1 t)))
23.0ms
(- 2 (/ 2 (+ 1 t)))
15.0ms
(/ 2 (+ 1 t))

simplify5.9s

Calls
104 calls:
Slowest
454.0ms
(- (+ (* 2 (/ 1 t)) 1) (* 2/3 (/ 1 (pow t 3))))
432.0ms
(- (+ (* 2 (/ 1 t)) 1) (* 2/3 (/ 1 (pow t 3))))
325.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
291.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
250.0ms
(- (+ (exp 2) (* 4 (* (pow t 2) (exp 2)))) (* 2 (* t (exp 2))))

prune1.9s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.5s8000×body80valid