Details

Time bar (total: 10.0m)

sample53.3s

Algorithm
intervals
Results
52.9s3266×body10240exit
168.0ms3523×pre80true
54.0ms248×body80valid
11.0ms2×body2560valid
6.0ms2×body1280valid
2.0ms4×body160valid
1.0ms1×body320valid

simplify4.2s

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

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

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

series650.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
542.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 (- t)))) c_p)
28.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
20.0ms
(/ 1 (+ 1 (exp (- t))))

simplify630.0ms

Counts
553 → 553

prune7.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize14.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

prune13.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize66.0ms

Local error

Found 4 expressions with local error:

7.3b
(- (fma (- (log1p (exp (- s)))) c_p (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (fma (- (log1p (exp (- t)))) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
1.2b
(log1p (exp (- t)))
0.3b
(log1p (exp (- s)))
0.2b
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×*-un-lft-identity
13×add-cube-cbrt
9×prod-diff
7×pow1
6×expm1-log1p-u add-cbrt-cube add-exp-log add-log-exp
4×associate-*l* insert-posit16 log1p-expm1-u
3×fma-neg associate-*r*
2×log1p-udef log1p-expm1 fma-udef
1×sub-neg flip3-- diff-log pow-prod-down prod-exp associate--l+ log-pow *-commutative cbrt-unprod flip-- associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 77
Calls
4 calls:
Slowest
7.0ms
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)
5.0ms
(- (fma (- (log1p (exp (- s)))) c_p (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (fma (- (log1p (exp (- t)))) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
0.0ms
(log1p (exp (- t)))
0.0ms
(log1p (exp (- s)))

series531.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
336.0ms
(- (fma (- (log1p (exp (- s)))) c_p (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (fma (- (log1p (exp (- t)))) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
86.0ms
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)
55.0ms
(log1p (exp (- s)))
53.0ms
(log1p (exp (- t)))

simplify932.0ms

Counts
89 → 89

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize73.0ms

Local error

Found 4 expressions with local error:

7.3b
(- (fma (- (log1p (exp (- s)))) c_p (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (fma (- (fma -1/2 t (fma (* t t) 1/8 (log 2)))) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
0.3b
(log1p (exp (- s)))
0.2b
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)
0.2b
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
17×*-un-lft-identity
15×add-cube-cbrt
10×pow1
9×prod-diff
8×add-cbrt-cube associate-*l* add-exp-log
6×associate-*r* add-log-exp
5×expm1-log1p-u
4×insert-posit16 log1p-expm1-u
3×fma-neg
2×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod fma-udef unswap-sqr
1×log1p-udef sub-neg flip3-- diff-log associate--l+ log1p-expm1 flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 87
Calls
4 calls:
Slowest
13.0ms
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)
7.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)
5.0ms
(- (fma (- (log1p (exp (- s)))) c_p (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (fma (- (fma -1/2 t (fma (* t t) 1/8 (log 2)))) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
0.0ms
(log1p (exp (- s)))

series635.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
406.0ms
(- (fma (- (log1p (exp (- s)))) c_p (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (fma (- (fma -1/2 t (fma (* t t) 1/8 (log 2)))) c_p (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)))
88.0ms
(* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n)
85.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)
56.0ms
(log1p (exp (- s)))

simplify1.1s

Counts
99 → 99

prune1.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.2b

regimes274.0ms

bsearch7.0ms

end0.0ms

sample8.8m