Details

Time bar (total: 1.3m)

sample48.2s

Algorithm
intervals
Results
47.8s2992×body10240exit
179.0ms3248×pre80true
51.0ms248×body80valid
8.0ms5×body640valid
7.0ms1×body5120valid
1.0ms1×body320valid
0.0ms1×body160valid

simplify4.2s

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.9b

localize48.0ms

Local error

Found 4 expressions with local error:

3.9b
(/ (* (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)))
2.0b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
1.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.1b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite211.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
133.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)))))
15.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)

series685.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)))
59.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
58.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify669.0ms

Counts
553 → 553

prune7.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize17.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
13.0ms
(* (* s c_n) 1/2)

series19.0ms

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

simplify1.5s

Counts
24 → 24

prune191.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize66.0ms

Local error

Found 4 expressions with local error:

11.7b
(- (+ (* (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)))
2.2b
(log (/ 1 (+ 1 (exp (- t)))))
1.7b
(log (/ 1 (+ 1 (exp (- s)))))
0.2b
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)

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

series509.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)))
75.0ms
(* (log (/ 1 (+ 1 (exp (- t))))) c_p)
59.0ms
(log (/ 1 (+ 1 (exp (- t)))))
55.0ms
(log (/ 1 (+ 1 (exp (- s)))))

simplify1.2s

Counts
149 → 149

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize74.0ms

Local error

Found 4 expressions with local error:

11.7b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (fma 1/2 t (- (log 1/2) (* 1/8 (* t t)))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
1.7b
(log (/ 1 (+ 1 (exp (- s)))))
0.2b
(* (fma 1/2 t (- (log 1/2) (* 1/8 (* t t)))) c_p)
0.2b
(* (log (/ 1 (+ 1 (exp (- s))))) c_p)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
29×add-sqr-sqrt
23×add-cube-cbrt
18×log-prod
16×add-log-exp
13×add-exp-log
12×pow1 times-frac
9×associate-*l* prod-diff
8×add-cbrt-cube
6×associate-*r* log-pow
5×flip3-+ flip-+
4×expm1-log1p-u sum-log diff-log rem-log-exp frac-sub insert-posit16 log1p-expm1-u
3×fma-neg distribute-lft-out
2×div-exp log-rec pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
1×distribute-lft-neg-out log-div rec-exp sub-neg flip3-- 1-exp associate--l+ div-inv flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 121
Calls
4 calls:
Slowest
54.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (fma 1/2 t (- (log 1/2) (* 1/8 (* t t)))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
8.0ms
(* (log (/ 1 (+ 1 (exp (- s))))) c_p)
7.0ms
(log (/ 1 (+ 1 (exp (- s)))))
6.0ms
(* (fma 1/2 t (- (log 1/2) (* 1/8 (* t t)))) c_p)

series595.0ms

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

simplify1.5s

Counts
133 → 133

prune2.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes641.0ms

bsearch4.7s

end0.0ms