Details

Time bar (total: 1.4m)

sample59.5s

Algorithm
intervals
Results
58.8s3752×body10240exit
507.0ms4008×pre80true
51.0ms246×body80valid
16.0ms2×body5120valid
9.0ms2×body1280valid
3.0ms5×body160valid
1.0ms1×body640valid

simplify4.2s

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize48.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)

rewrite222.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
42×*-un-lft-identity
36×unpow-prod-down
33×add-sqr-sqrt
29×times-frac
22×add-cube-cbrt
16×add-cbrt-cube
8×pow1
6×pow-unpow pow-pow distribute-lft-out add-log-exp difference-of-squares
4×cbrt-undiv associate-/r/ cbrt-unprod insert-posit16 div-inv
2×flip3-+ flip-+ 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 → 476
Calls
4 calls:
Slowest
146.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)))
29.0ms
(- 1 (/ 1 (+ 1 (exp (- s)))))
14.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
14.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series686.0ms

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

simplify1.7s

Counts
488 → 488

prune6.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
19×add-sqr-sqrt
18×add-log-exp
9×diff-log
8×log-prod
7×difference-of-squares
6×pow1 flip3-- add-exp-log add-cube-cbrt flip--
4×log-div sub-neg times-frac add-cbrt-cube frac-sub insert-posit16
3×distribute-lft-out--
2×flip3-+ rem-log-exp associate--l+ log-pow flip-+ distribute-lft-out associate--r+
1×associate--l- div-inv associate--r-
Counts
4 → 81
Calls
4 calls:
Slowest
48.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n) (* (log (+ (exp (- t)) 1)) c_p)))
45.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
9.0ms
(log (+ (exp (- t)) 1))
8.0ms
(log (+ (exp (- s)) 1))

series440.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
304.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n) (* (log (+ (exp (- t)) 1)) c_p)))
56.0ms
(log (+ (exp (- t)) 1))
48.0ms
(log (+ (exp (- s)) 1))
32.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))

simplify946.0ms

Counts
93 → 93

prune1.5s

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)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n) (* (+ (* -1/2 t) (+ (* 1/8 (* t t)) (log 2))) c_p)))
0.6b
(log (+ (exp (- s)) 1))
0.4b
(- 1 (/ 1 (+ (exp (- s)) 1)))
0.2b
(* (+ (* -1/2 t) (+ (* 1/8 (* t t)) (log 2))) c_p)

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
19×*-un-lft-identity
18×add-log-exp
9×diff-log
7×pow1 add-exp-log add-cube-cbrt difference-of-squares
6×flip3-- add-cbrt-cube flip--
4×log-prod sub-neg times-frac frac-sub insert-posit16
3×associate-*r* associate-*l* distribute-lft-out--
2×log-div flip3-+ associate-*l/ associate--l+ flip-+ associate--r+
1×associate--l- rem-log-exp pow-prod-down prod-exp log-pow *-commutative cbrt-unprod div-inv distribute-lft-out associate--r- unswap-sqr
Counts
4 → 86
Calls
4 calls:
Slowest
110.0ms
(* (+ (* -1/2 t) (+ (* 1/8 (* t t)) (log 2))) c_p)
46.0ms
(- 1 (/ 1 (+ (exp (- s)) 1)))
45.0ms
(- (- (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (+ (exp (- s)) 1)))) (- (* (log (- 1 (/ 1 (+ (exp (- t)) 1)))) c_n) (* (+ (* -1/2 t) (+ (* 1/8 (* t t)) (log 2))) c_p)))
8.0ms
(log (+ (exp (- s)) 1))

series527.0ms

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

simplify1.2s

Counts
98 → 98

prune2.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-cbrt-cube add-exp-log
8×add-log-exp
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×insert-posit16
2×diff-log associate-*r* *-commutative
1×sum-log sub-neg flip3-- associate--l+ flip--
Counts
3 → 53
Calls
3 calls:
Slowest
85.0ms
(- (+ (* 1/2 (* c_p s)) 1) (* 1/2 (* c_n s)))
14.0ms
(* 1/2 (* c_p s))
13.0ms
(* 1/2 (* c_n s))

series96.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
55.0ms
(- (+ (* 1/2 (* c_p s)) 1) (* 1/2 (* c_n s)))
21.0ms
(* 1/2 (* c_n s))
20.0ms
(* 1/2 (* c_p s))

simplify852.0ms

Counts
62 → 62

prune450.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

regimes387.0ms

bsearch8.0ms

end0.0ms