Details

Time bar (total: 1.4m)

sample59.0s

Algorithm
intervals
Results
58.5s3752×body10240exit
237.0ms4008×pre80true
51.0ms246×body80valid
18.0ms2×body5120valid
9.0ms2×body1280valid
3.0ms5×body160valid
1.0ms1×body640valid

simplify4.0s

Counts
1 → 1

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize50.0ms

Local error

Found 4 expressions with local error:

3.4b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
1.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.4b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
1192×add-exp-log
692×pow-exp
684×prod-exp
593×div-exp
344×pow-to-exp
116×rec-exp 1-exp
103×*-un-lft-identity
76×add-sqr-sqrt
65×times-frac add-cube-cbrt
54×prod-diff
36×unpow-prod-down
16×add-cbrt-cube
15×distribute-lft-out
10×associate-/r/
8×pow1
7×div-inv
6×pow-unpow pow-pow add-log-exp difference-of-squares
5×flip3-+ flip-+
4×expm1-log1p-u cbrt-undiv cbrt-unprod insert-posit16 log1p-expm1-u
3×fma-neg
2×pow-flip distribute-lft-out-- inv-pow sqr-pow
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- associate-/l*
Counts
4 → 541
Calls
4 calls:
Slowest
155.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
36.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
15.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
15.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series725.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
565.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
69.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
61.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
29.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify628.0ms

Counts
553 → 553

prune8.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

9.1b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
1.2b
(log (/ 1 (+ 1 (exp (- t)))))
0.6b
(log (/ 1 (+ 1 (exp (- s)))))
0.4b
(- 1 (/ 1 (+ 1 (exp (- s)))))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
83×add-sqr-sqrt
70×add-cube-cbrt
64×times-frac
63×prod-diff
36×log-prod
18×add-log-exp
15×distribute-lft-out
14×add-exp-log
10×associate-/r/
9×flip3-+ flip-+
8×pow1 rem-log-exp
7×difference-of-squares
6×fma-neg log-pow div-inv
5×diff-log
4×expm1-log1p-u sum-log add-cbrt-cube div-exp frac-sub insert-posit16 log1p-expm1-u
3×distribute-lft-out--
2×log-div rec-exp sub-neg flip3-- 1-exp log-rec pow-flip flip-- inv-pow
1×associate--l+ associate--r+
Counts
4 → 192
Calls
4 calls:
Slowest
64.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
37.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
7.0ms
(log (/ 1 (+ 1 (exp (- s)))))
7.0ms
(log (/ 1 (+ 1 (exp (- t)))))

series480.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
327.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (log (/ 1 (+ 1 (exp (- t))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
63.0ms
(log (/ 1 (+ 1 (exp (- s)))))
62.0ms
(log (/ 1 (+ 1 (exp (- t)))))
28.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify1.9s

Counts
204 → 204

prune3.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize83.0ms

Local error

Found 4 expressions with local error:

9.1b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma t 1/2 (log 1/2)) (* (* 1/8 t) t)) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
0.6b
(log (/ 1 (+ 1 (exp (- s)))))
0.4b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.2b
(* (- (fma t 1/2 (log 1/2)) (* (* 1/8 t) t)) c_p)

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
79×add-sqr-sqrt
64×add-cube-cbrt
63×prod-diff
52×times-frac
18×log-prod add-log-exp
12×distribute-lft-out
11×add-exp-log
8×pow1 flip3-+ associate-/r/ flip-+
7×difference-of-squares
6×add-cbrt-cube fma-neg
5×diff-log div-inv
4×expm1-log1p-u sum-log rem-log-exp frac-sub insert-posit16 log1p-expm1-u
3×flip3-- associate-*r* associate-*l* log-pow flip-- distribute-lft-out--
2×sub-neg div-exp associate-*l/
1×log-div rec-exp 1-exp log-rec pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod pow-flip associate--r+ inv-pow unswap-sqr
Counts
4 → 178
Calls
4 calls:
Slowest
73.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma t 1/2 (log 1/2)) (* (* 1/8 t) t)) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
36.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
15.0ms
(* (- (fma t 1/2 (log 1/2)) (* (* 1/8 t) t)) c_p)
7.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series553.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
397.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (fma t 1/2 (log 1/2)) (* (* 1/8 t) t)) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
64.0ms
(log (/ 1 (+ 1 (exp (- s)))))
63.0ms
(* (- (fma t 1/2 (log 1/2)) (* (* 1/8 t) t)) c_p)
29.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify1.6s

Counts
190 → 190

prune3.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (fma 1/2 (* c_p s) 1) (* (* 1/2 c_n) s))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity fma-neg prod-diff add-cube-cbrt add-log-exp
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log associate--l+ add-exp-log fma-udef insert-posit16 log1p-expm1-u flip--
Counts
1 → 22
Calls
1 calls:
Slowest
7.0ms
(- (fma 1/2 (* c_p s) 1) (* (* 1/2 c_n) s))

series61.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
61.0ms
(- (fma 1/2 (* c_p s) 1) (* (* 1/2 c_n) s))

simplify513.0ms

Counts
25 → 25

prune196.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes639.0ms

bsearch8.0ms

end0.0ms