Details

Time bar (total: 9.6m)

sample84.0ms

Algorithm
intervals
Results
72.0ms256×body80valid

simplify175.0ms

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

localize39.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))))
0.0b
(* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))
0.0b
(/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))

rewrite346.0ms

Algorithm
rewrite-expression-head
Rules
1376×*-un-lft-identity
1347×times-frac
946×add-sqr-sqrt
890×add-cube-cbrt
852×prod-diff
312×distribute-lft-out
229×div-inv
215×distribute-rgt-in distribute-lft-in
26×associate-/r/
18×difference-of-squares
13×flip3-+ flip-+
12×pow1
10×add-exp-log
9×swap-sqr
8×flip3-- add-cbrt-cube flip-- distribute-lft-out-- add-log-exp
7×associate-*r* associate-*l*
6×fma-neg
4×expm1-log1p-u frac-times sub-neg insert-posit16 log1p-expm1-u
3×associate-/r* associate-/l*
2×diff-log div-exp associate-*l/ associate-*r/
1×pow2 cbrt-undiv rec-exp clear-num frac-2neg pow-plus 1-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
4 → 986
Calls
4 calls:
Slowest
239.0ms
(* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))
26.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
23.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
18.0ms
(/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))

series233.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
87.0ms
(/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))
57.0ms
(* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))
56.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
33.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

simplify6.3m

Counts
1395 → 998
Calls
1395 calls:
Slowest
1.2s
(* (fma (- (/ (/ 2 (cbrt t)) (sqrt (+ 1 (/ 1 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt (+ 1 (/ 1 t)))) (* (/ (/ 2 (cbrt t)) (sqrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt (+ 1 (/ 1 t)))))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))
1.0s
(* (fma (- (/ (/ 2 (cbrt t)) (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) 1) (* (/ (/ 2 (cbrt t)) (+ 1 (/ 1 t))) (/ (/ 1 (* (cbrt t) (cbrt t))) 1))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))
1.0s
(* (fma (- (/ (/ 2 (cbrt t)) (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) 1) (* (/ (/ 2 (cbrt t)) (+ 1 (/ 1 t))) (/ (/ 1 (* (cbrt t) (cbrt t))) 1))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))
947.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)))
861.0ms
(* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (fma (- (/ (/ 2 (cbrt t)) (sqrt (+ 1 (/ 1 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt (+ 1 (/ 1 t)))) (* (/ (/ 2 (cbrt t)) (sqrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt (+ 1 (/ 1 t)))))))

prune12.9s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize118.0ms

Local error

Found 4 expressions with local error:

5.7b
(- 8 (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t))))))
5.7b
(- 8 (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t))))))
0.2b
(/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t)))))
0.2b
(/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t)))))

rewrite909.0ms

Algorithm
rewrite-expression-head
Rules
496×associate-*r/
224×frac-times
216×flip3-+ flip-+
208×associate-/r/
198×prod-diff
112×associate-*l/
110×add-cbrt-cube add-exp-log
92×add-sqr-sqrt *-un-lft-identity
88×add-cube-cbrt
62×prod-exp cbrt-unprod
24×times-frac
22×cbrt-undiv div-exp
8×div-inv add-log-exp
6×fma-neg associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
2×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 374
Calls
4 calls:
Slowest
308.0ms
(/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t)))))
264.0ms
(/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t)))))
162.0ms
(- 8 (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t))))))
151.0ms
(- 8 (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t))))))

series203.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
59.0ms
(- 8 (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t))))))
54.0ms
(- 8 (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t))))))
47.0ms
(/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t)))))
43.0ms
(/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ 1 (/ 1 t)))) (* t (+ 1 (/ 1 t)))))

simplify2.9m

Counts
534 → 386
Calls
534 calls:
Slowest
903.0ms
(fma (- (* (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))) (- 1 (/ 1 t)))) (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ (pow 1 3) (pow (/ 1 t) 3)))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t)))))) (* (* (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))) (- 1 (/ 1 t))) (/ 8 (* (* (* t (+ 1 (/ 1 t))) (* t (+ (pow 1 3) (pow (/ 1 t) 3)))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t))))))))
896.0ms
(fma (* (cbrt 8) (cbrt 8)) (cbrt 8) (- (* (* (* (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))) (- 1 (/ 1 t))) (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t))))) (/ 8 (* (* (* t (+ (pow 1 3) (pow (/ 1 t) 3))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t))))) (* t (+ (pow 1 3) (pow (/ 1 t) 3))))))))
882.0ms
(fma (- (* (* (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))) (- 1 (/ 1 t))) (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))))) (/ 8 (* (* (* t (+ (pow 1 3) (pow (/ 1 t) 3))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t))))) (* t (+ (pow 1 3) (pow (/ 1 t) 3))))) (* (* (* (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))) (- 1 (/ 1 t))) (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t))))) (/ 8 (* (* (* t (+ (pow 1 3) (pow (/ 1 t) 3))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t))))) (* t (+ (pow 1 3) (pow (/ 1 t) 3)))))))
872.0ms
(fma (- (* (* (- 1 (/ 1 t)) (- 1 (/ 1 t))) (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))))) (/ 8 (* (* (* t (- (* 1 1) (* (/ 1 t) (/ 1 t)))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t))))) (* t (+ (pow 1 3) (pow (/ 1 t) 3))))) (* (* (* (- 1 (/ 1 t)) (- 1 (/ 1 t))) (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t))))) (/ 8 (* (* (* t (- (* 1 1) (* (/ 1 t) (/ 1 t)))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t))))) (* t (+ (pow 1 3) (pow (/ 1 t) 3)))))))
848.0ms
(fma (* (cbrt 8) (cbrt 8)) (cbrt 8) (- (* (* (* (+ (* 1 1) (- (* (/ 1 t) (/ 1 t)) (* 1 (/ 1 t)))) (- 1 (/ 1 t))) (- 1 (/ 1 t))) (/ 8 (* (* (* t (+ (pow 1 3) (pow (/ 1 t) 3))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t))))) (* t (- (* 1 1) (* (/ 1 t) (/ 1 t)))))))))

prune5.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

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

rewrite122.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
24.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
22.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
22.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
21.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

series112.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
36.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
26.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
25.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
25.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))