Details

Time bar (total: 2.0m)

sample49.4s

Algorithm
intervals
Results
49.0s3198×body10240exit
179.0ms3455×pre80true
51.0ms245×body80valid
9.0ms4×body1280valid
7.0ms1×body2560valid
4.0ms3×body640valid
1.0ms3×body160valid
1.0ms1×body320valid

simplify3.5s

Counts
1 → 1

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.1b

localize61.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.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.0b
(/ 1 (+ 1 (exp (- s))))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
1191×add-exp-log
688×pow-exp
684×prod-exp
593×div-exp
343×pow-to-exp
116×rec-exp 1-exp
105×*-un-lft-identity
76×add-sqr-sqrt
65×times-frac add-cube-cbrt
54×prod-diff
18×unpow-prod-down add-cbrt-cube
16×distribute-lft-out
10×associate-/r/
7×pow1 div-inv
6×add-log-exp difference-of-squares
5×cbrt-undiv associate-/r* flip3-+ flip-+
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u associate-/l*
3×pow-unpow pow-pow fma-neg
2×clear-num frac-2neg pow-flip distribute-lft-out-- inv-pow
1×sub-neg flip3-- diff-log flip-- sqr-pow
Counts
4 → 541
Calls
4 calls:
Slowest
134.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)))
33.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
12.0ms
(/ 1 (+ 1 (exp (- s))))
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series911.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
541.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)))
319.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
29.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
21.0ms
(/ 1 (+ 1 (exp (- s))))

simplify633.0ms

Counts
553 → 553

prune8.9s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize88.0ms

Local error

Found 4 expressions with local error:

9.4b
(- (+ (* (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.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.3b
(log (/ 1 (+ 1 (exp (- s)))))

rewrite111.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
63.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)))
32.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
7.0ms
(log (/ 1 (+ 1 (exp (- t)))))
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series464.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
320.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)))
56.0ms
(log (/ 1 (+ 1 (exp (- t)))))
55.0ms
(log (/ 1 (+ 1 (exp (- s)))))
34.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify1.4s

Counts
204 → 204

prune3.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.7b

localize100.0ms

Local error

Found 4 expressions with local error:

9.7b
(- (+ (* (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.3b
(- 1 (/ 1 (+ 1 (exp (- s)))))
0.3b
(log (/ 1 (+ 1 (exp (- s)))))
0.2b
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)

rewrite113.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
9×pow1
8×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 associate-*l* log-pow frac-sub insert-posit16 log1p-expm1-u
3×associate-*r* distribute-lft-out--
2×sub-neg flip3-- div-exp flip--
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 → 177
Calls
4 calls:
Slowest
65.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)))
32.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
7.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series586.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
401.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)))
84.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
66.0ms
(log (/ 1 (+ 1 (exp (- s)))))
34.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))

simplify1.6s

Counts
189 → 189

prune4.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

localize3.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0

prune0.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

regimes606.0ms

bsearch43.0s

end0.0ms