Details

Time bar (total: 2.0m)

sample52.1s

Algorithm
intervals
Results
51.6s3486×body10240exit
155.0ms3742×pre80true
85.0ms252×body80valid
7.0ms1×body5120valid
5.0ms1×body2560valid
1.0ms1×body640valid
0.0ms1×body160valid

simplify3.4s

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize46.0ms

Local error

Found 4 expressions with local error:

3.2b
(/ (* (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.5b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
0.3b
(- 1 (/ 1 (+ 1 (exp (- t)))))

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

series658.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
518.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)))
57.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
56.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
27.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify718.0ms

Counts
536 → 488

prune6.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize60.0ms

Local error

Found 4 expressions with local error:

10.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.5b
(log (/ 1 (+ 1 (exp (- t)))))
0.5b
(log (/ 1 (+ 1 (exp (- s)))))
0.3b
(- 1 (/ 1 (+ 1 (exp (- t)))))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
36×log-prod
33×add-sqr-sqrt
28×times-frac
20×add-cube-cbrt
18×add-log-exp
14×add-exp-log
8×pow1 rem-log-exp
7×difference-of-squares
6×flip3-+ log-pow flip-+ distribute-lft-out
5×diff-log
4×sum-log add-cbrt-cube div-exp associate-/r/ frac-sub insert-posit16
3×div-inv 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 → 115
Calls
4 calls:
Slowest
44.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)))
26.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
7.0ms
(log (/ 1 (+ 1 (exp (- t)))))
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series441.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
306.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 (- s)))))
52.0ms
(log (/ 1 (+ 1 (exp (- t)))))
27.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify448.0ms

Counts
172 → 127

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize74.0ms

Local error

Found 4 expressions with local error:

10.4b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (+ (* 1/2 t) (log 1/2)) (* 1/8 (* t t))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
0.5b
(log (/ 1 (+ 1 (exp (- s)))))
0.3b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.2b
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
29×add-sqr-sqrt
18×log-prod add-log-exp
16×times-frac
14×add-cube-cbrt
11×add-exp-log
9×pow1
7×difference-of-squares
6×add-cbrt-cube
5×flip3-+ diff-log flip-+
4×sum-log rem-log-exp associate-*l* log-pow frac-sub insert-posit16
3×associate-*r* distribute-lft-out distribute-lft-out--
2×sub-neg flip3-- div-exp associate-/r/ div-inv 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 → 100
Calls
4 calls:
Slowest
140.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (+ (* 1/2 t) (log 1/2)) (* 1/8 (* t t))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
30.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
8.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series535.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
370.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (+ (* 1/2 t) (log 1/2)) (* 1/8 (* t t))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)))
82.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
56.0ms
(log (/ 1 (+ 1 (exp (- s)))))
27.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify373.0ms

Counts
142 → 112

prune2.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize71.0ms

Local error

Found 4 expressions with local error:

10.4b
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (+ (* 1/2 t) (log 1/2)) (* 1/8 (* t t))) c_p) (- (* c_n (log 1/2)) (+ (* (* (* 1/8 t) t) c_n) (* (* 1/2 t) c_n)))))
0.5b
(log (/ 1 (+ 1 (exp (- s)))))
0.2b
(* c_n (log 1/2))
0.2b
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)

rewrite630.0ms

Algorithm
rewrite-expression-head
Rules
36×add-log-exp
26×*-un-lft-identity
24×add-sqr-sqrt log-prod
18×add-cube-cbrt
13×add-exp-log
12×pow1 sum-log times-frac diff-log frac-sub
9×flip3-+ flip3-- flip-+ flip--
8×add-cbrt-cube associate-*l/ frac-add
7×associate-*r* associate-*l*
5×log-pow
4×rem-log-exp insert-posit16
3×distribute-rgt-in distribute-lft-in distribute-lft-out
2×div-exp pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod unswap-sqr
1×log-div rec-exp associate-+r- sub-neg 1-exp log-rec associate--l+ div-inv pow-flip associate--r+ distribute-lft-out-- inv-pow associate--r- difference-of-squares
Counts
4 → 118
Calls
4 calls:
Slowest
609.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (+ (* 1/2 t) (log 1/2)) (* 1/8 (* t t))) c_p) (- (* c_n (log 1/2)) (+ (* (* (* 1/8 t) t) c_n) (* (* 1/2 t) c_n)))))
7.0ms
(* c_n (log 1/2))
6.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series582.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
281.0ms
(- (+ (* (log (/ 1 (+ 1 (exp (- s))))) c_p) (* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)) (+ (* (- (+ (* 1/2 t) (log 1/2)) (* 1/8 (* t t))) c_p) (- (* c_n (log 1/2)) (+ (* (* (* 1/8 t) t) c_n) (* (* 1/2 t) c_n)))))
166.0ms
(* c_n (log 1/2))
82.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)
54.0ms
(log (/ 1 (+ 1 (exp (- s)))))

simplify668.0ms

Counts
166 → 130

prune2.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

regimes817.0ms

bsearch45.0s

end0.0ms