Details

Time bar (total: 10.0m)

sample57.7s

Algorithm
intervals
Results
57.2s3336×body10240exit
299.0ms3592×pre80true
60.0ms250×body80valid
7.0ms1×body5120valid
4.0ms1×body1280valid
3.0ms2×body640valid
2.0ms2×body160valid

simplify4.0s

Counts
1 → 1

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.7b

localize54.0ms

Local error

Found 4 expressions with local error:

1.7b
(/ (* (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)))
0.7b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.0b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite218.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
141.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)))
35.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
13.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series708.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
557.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)))
61.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
59.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
31.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify738.0ms

Counts
553 → 553

prune7.9s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 4 expressions with local error:

8.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)))
0.8b
(log (/ 1 (+ 1 (exp (- t)))))
0.3b
(log (/ 1 (+ 1 (exp (- s)))))
0.2b
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
36×log-prod
33×add-sqr-sqrt
29×add-cube-cbrt
24×times-frac
16×add-exp-log add-log-exp
12×pow1
9×prod-diff log-pow
8×rem-log-exp
6×flip3-+ add-cbrt-cube associate-*l* flip-+ distribute-lft-out
4×expm1-log1p-u sum-log diff-log div-exp associate-/r/ frac-sub insert-posit16 log1p-expm1-u
3×fma-neg associate-*r* log-rec pow-flip inv-pow
2×log-div rec-exp 1-exp div-inv
1×distribute-lft-neg-out sub-neg flip3-- pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-- associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 137
Calls
4 calls:
Slowest
59.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)))
8.0ms
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)
7.0ms
(log (/ 1 (+ 1 (exp (- t)))))
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series519.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
333.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)))
72.0ms
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)
59.0ms
(log (/ 1 (+ 1 (exp (- s)))))
55.0ms
(log (/ 1 (+ 1 (exp (- t)))))

simplify971.0ms

Counts
149 → 149

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (* s c_n) 1/2)

rewrite14.0ms

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

series20.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
20.0ms
(* (* s c_n) 1/2)

simplify1.4s

Counts
24 → 24

prune184.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma 1/2 (* t c_p) (fma c_p (log 1/2) 1)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
0.2b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.0b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.0b
(/ 1 (+ 1 (exp (- s))))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
251×add-exp-log
129×prod-exp
105×*-un-lft-identity
104×div-exp
95×pow-exp
76×add-sqr-sqrt
65×times-frac add-cube-cbrt
56×pow-to-exp
54×prod-diff
18×unpow-prod-down add-cbrt-cube
16×distribute-lft-out
14×rec-exp 1-exp
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 → 256
Calls
4 calls:
Slowest
128.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma 1/2 (* t c_p) (fma c_p (log 1/2) 1)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
35.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
12.0ms
(/ 1 (+ 1 (exp (- s))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
952.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (fma 1/2 (* t c_p) (fma c_p (log 1/2) 1)) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
62.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
29.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
20.0ms
(/ 1 (+ 1 (exp (- s))))

simplify1.7s

Counts
268 → 268

prune4.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes454.0ms

bsearch6.0ms

end0.0ms

sample8.6m