Details

Time bar (total: 2.1m)

sample53.2s

Algorithm
intervals
Results
52.8s3486×body10240exit
179.0ms3742×pre80true
48.0ms252×body80valid
7.0ms1×body5120valid
5.0ms1×body2560valid
1.0ms1×body640valid
0.0ms1×body160valid

simplify3.5s

Counts
1 → 1

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

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

rewrite209.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
135.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)))
31.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
13.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)

series651.0ms

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

simplify744.0ms

Counts
655 → 553

prune7.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

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

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
83×add-sqr-sqrt
70×add-cube-cbrt
64×times-frac
63×prod-diff
36×log-prod
18×add-log-exp
15×distribute-lft-out
14×add-exp-log
10×associate-/r/
9×flip3-+ flip-+
8×pow1 rem-log-exp
7×difference-of-squares
6×fma-neg log-pow div-inv
5×diff-log
4×expm1-log1p-u sum-log add-cbrt-cube div-exp frac-sub insert-posit16 log1p-expm1-u
3×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 → 192
Calls
4 calls:
Slowest
56.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)))
34.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
6.0ms
(log (/ 1 (+ 1 (exp (- t)))))
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series439.0ms

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

simplify693.0ms

Counts
312 → 204

prune3.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize72.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)) (+ (* (- (fma 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)

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
79×add-sqr-sqrt
64×add-cube-cbrt
63×prod-diff
52×times-frac
18×log-prod add-log-exp
12×distribute-lft-out
11×add-exp-log
9×pow1
8×flip3-+ associate-/r/ flip-+
7×difference-of-squares
6×add-cbrt-cube fma-neg
5×diff-log div-inv
4×expm1-log1p-u sum-log rem-log-exp associate-*l* log-pow frac-sub insert-posit16 log1p-expm1-u
3×associate-*r* distribute-lft-out--
2×sub-neg flip3-- div-exp 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 → 177
Calls
4 calls:
Slowest
66.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)))
33.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
7.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))

series532.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
368.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)))
80.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n)
56.0ms
(log (/ 1 (+ 1 (exp (- s)))))
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))

simplify907.0ms

Counts
282 → 189

prune3.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

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

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
31×add-sqr-sqrt
25×add-cube-cbrt add-log-exp
24×log-prod
13×add-exp-log
12×pow1 times-frac frac-sub
9×flip3-+ flip3-- prod-diff flip-+ flip--
8×add-cbrt-cube diff-log associate-*l/ frac-add
7×sum-log associate-*r* associate-*l*
5×log-pow
4×expm1-log1p-u rem-log-exp insert-posit16 log1p-expm1-u
3×distribute-rgt-in distribute-lft-in fma-neg 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 → 136
Calls
4 calls:
Slowest
100.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) (- (* c_n (log 1/2)) (fma 1/8 (* (* t t) c_n) (* 1/2 (* c_n t))))))
7.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)
6.0ms
(log (/ 1 (+ 1 (exp (- s)))))
6.0ms
(* c_n (log 1/2))

series598.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
287.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) (- (* c_n (log 1/2)) (fma 1/8 (* (* t t) c_n) (* 1/2 (* c_n t))))))
172.0ms
(* c_n (log 1/2))
84.0ms
(* (log (- 1 (/ 1 (+ 1 (exp (- s)))))) c_n)
55.0ms
(log (/ 1 (+ 1 (exp (- s)))))

simplify654.0ms

Counts
193 → 148

prune2.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

regimes668.0ms

bsearch44.6s

end0.0ms