Details

Time bar (total: 1.0m)

sample43.4s

Algorithm
intervals
Results
43.1s3078×body10240exit
126.0ms3334×pre80true
29.0ms249×body80valid
3.0ms3×body640valid
1.0ms3×body160valid
0.0ms1×body320valid

simplify617.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02243
15343
214743
383943
done500143

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
0.4b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
1.5b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
3.2b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
553×add-exp-log
312×prod-exp
262×pow-exp
248×div-exp
183×pow-to-exp
145×*-un-lft-identity
109×add-sqr-sqrt
108×prod-diff
99×add-cube-cbrt
87×times-frac
21×distribute-lft-out
18×unpow-prod-down
16×add-cbrt-cube
14×associate-/r/
8×div-inv add-log-exp
7×flip3-+ flip-+
6×fma-neg
5×pow1
4×cbrt-undiv expm1-log1p-u cbrt-unprod log1p-expm1-u difference-of-squares
3×pow-unpow
2×sub-neg flip3-- diff-log flip-- distribute-lft-out--
1×pow-pow frac-2neg clear-num associate-/r* associate-/l* sqr-pow
Counts
4 → 371
Calls
4 calls:
41.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
41.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
20.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
178.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

series819.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
53.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
74.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
645.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify1.6s

Counts
383 → 383
Iterations

Useful iterations: done (1.6s)

IterNodesCost
057017315
1137715625
2395713557
done500013545

prune712.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (+ 1.0 (exp (- t))))
0.0b
(fma (log 0.5) c_p (fma 0.5 (* t c_p) 1))
0.3b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
0.4b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
168×add-exp-log
87×prod-exp
84×*-un-lft-identity
65×div-exp
61×add-sqr-sqrt
56×add-cube-cbrt
54×prod-diff
53×pow-exp
50×times-frac
41×pow-to-exp
18×add-cbrt-cube
13×distribute-lft-out
8×associate-/r/
6×add-log-exp
5×cbrt-undiv associate-/r* div-inv
4×pow1 expm1-log1p-u flip3-+ cbrt-unprod flip-+ log1p-expm1-u associate-/l*
3×fma-neg
2×frac-2neg clear-num difference-of-squares
1×sub-neg flip3-- diff-log flip-- fma-udef distribute-lft-out--
Counts
4 → 190
Calls
4 calls:
18.0ms
(/ 1.0 (+ 1.0 (exp (- t))))
0.0ms
(fma (log 0.5) c_p (fma 0.5 (* t c_p) 1))
152.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
47.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))

series914.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(/ 1.0 (+ 1.0 (exp (- t))))
51.0ms
(fma (log 0.5) c_p (fma 0.5 (* t c_p) 1))
782.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
53.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))

simplify1.4s

Counts
202 → 202
Iterations

Useful iterations: done (1.4s)

IterNodesCost
04088290
19927513
233296247
done50005870

prune541.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.4b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.4b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
1.7b
(sqrt (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) (fma c_p (+ (log 0.5) (* 0.5 t)) 1)))
1.7b
(sqrt (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) (fma c_p (+ (log 0.5) (* 0.5 t)) 1)))

rewrite401.0ms

Algorithm
rewrite-expression-head
Rules
134×*-un-lft-identity
108×prod-diff
106×add-sqr-sqrt
94×add-cube-cbrt
80×times-frac
18×distribute-lft-out
14×sqrt-prod
12×associate-/r/
8×div-inv add-log-exp
6×pow1 flip3-+ fma-neg flip-+
4×add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u difference-of-squares
2×sub-neg rem-sqrt-square flip3-- sqrt-pow1 pow1/2 sqrt-div diff-log flip-- distribute-lft-out--
Counts
4 → 188
Calls
4 calls:
41.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
41.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
152.0ms
(sqrt (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) (fma c_p (+ (log 0.5) (* 0.5 t)) 1)))
157.0ms
(sqrt (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) (fma c_p (+ (log 0.5) (* 0.5 t)) 1)))

series1.8s

Counts
4 → 12
Calls
4 calls:
54.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
49.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
860.0ms
(sqrt (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) (fma c_p (+ (log 0.5) (* 0.5 t)) 1)))
850.0ms
(sqrt (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) (fma c_p (+ (log 0.5) (* 0.5 t)) 1)))

simplify1.0s

Counts
200 → 200
Iterations

Useful iterations: done (1.0s)

IterNodesCost
02589506
15718378
214876484
done50005614

prune792.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 0.5 (* s c_n))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×expm1-log1p-u associate-*r* *-commutative log1p-expm1-u add-log-exp
Counts
1 → 20
Calls
1 calls:
21.0ms
(* 0.5 (* s c_n))

series21.0ms

Counts
1 → 3
Calls
1 calls:
21.0ms
(* 0.5 (* s c_n))

simplify5.8s

Counts
23 → 23
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
037166
187163
2300133
31003133
42173133
54443133
done5001133

prune42.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes4.0ms