Details

Time bar (total: 9.0m)

sample46.1s

Algorithm
intervals
Results
45.7s2976×body10240exit
155.0ms3233×pre80true
74.0ms250×body80valid
4.0ms2×body1280valid
2.0ms4×body160valid
1.0ms1×body320valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5005
3743
2143
154
022

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.9b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1 (/ 1 (+ 1 (exp (- t)))))
0.2b
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
0.7b
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
3.7b
(/ (* (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)))

rewrite201.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:
28.0ms
(- 1 (/ 1 (+ 1 (exp (- t)))))
12.0ms
(pow (/ 1 (+ 1 (exp (- t)))) c_p)
12.0ms
(pow (/ 1 (+ 1 (exp (- s)))) c_p)
136.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)))

series664.0ms

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

simplify1.9s

Counts
488 → 488
Iterations
IterNodes
done5024
23766
11461
0451

prune683.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize66.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (+ 1 (exp (- t)))) c_p)
0.3b
(log (+ 1 (exp (- t))))
0.8b
(log (/ 1 (+ (exp (- s)) 1)))
11.1b
(- (+ (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (log (+ 1 (exp (- t)))) c_p)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
22×log-prod
19×add-sqr-sqrt
16×add-log-exp
15×add-cube-cbrt
12×times-frac add-exp-log
10×pow1
6×add-cbrt-cube diff-log
5×rem-log-exp log-pow
4×flip3-+ associate-*l* frac-sub flip-+ insert-posit16 distribute-lft-out
3×log-div flip3-- associate-*r* log-rec flip--
2×associate--l- sum-log sub-neg div-exp associate-/r/ distribute-rgt-neg-out associate--r+
1×rec-exp 1-exp unsub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod div-inv pow-flip distribute-lft-out-- inv-pow associate--r- difference-of-squares unswap-sqr
Counts
4 → 99
Calls
4 calls:
6.0ms
(* (log (+ 1 (exp (- t)))) c_p)
6.0ms
(log (+ 1 (exp (- t))))
8.0ms
(log (/ 1 (+ (exp (- s)) 1)))
40.0ms
(- (+ (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (log (+ 1 (exp (- t)))) c_p)))

series483.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(* (log (+ 1 (exp (- t)))) c_p)
51.0ms
(log (+ 1 (exp (- t))))
57.0ms
(log (/ 1 (+ (exp (- s)) 1)))
314.0ms
(- (+ (* (log (- 1 (/ 1 (+ (exp (- s)) 1)))) c_n) (* c_p (log (/ 1 (+ (exp (- s)) 1))))) (- (* (log (- 1 (/ 1 (+ 1 (exp (- t)))))) c_n) (* (log (+ 1 (exp (- t)))) c_p)))

simplify1.7s

Counts
111 → 111
Iterations
IterNodes
done5002
22272
1713
0279

prune683.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1/2 (* c_p s)) (* c_p (log 1/2)))
0.3b
(* c_p (log 1/2))
0.3b
(* (log 2) c_p)
5.6b
(+ (* (log 2) c_p) (+ (* 1/2 (* c_p s)) (* c_p (log 1/2))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
12×log-prod *-un-lft-identity add-cube-cbrt
11×add-log-exp
10×pow1
8×add-cbrt-cube add-exp-log
7×associate-+r+ associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
4×sum-log insert-posit16
2×+-commutative flip3-+ pow-prod-down prod-exp log-pow *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 78
Calls
4 calls:
13.0ms
(+ (* 1/2 (* c_p s)) (* c_p (log 1/2)))
6.0ms
(* c_p (log 1/2))
6.0ms
(* (log 2) c_p)
31.0ms
(+ (* (log 2) c_p) (+ (* 1/2 (* c_p s)) (* c_p (log 1/2))))

series632.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(+ (* 1/2 (* c_p s)) (* c_p (log 1/2)))
180.0ms
(* c_p (log 1/2))
170.0ms
(* (log 2) c_p)
177.0ms
(+ (* (log 2) c_p) (+ (* 1/2 (* c_p s)) (* c_p (log 1/2))))

simplify853.0ms

Counts
90 → 90
Iterations
IterNodes
done5002
21044
1310
0125

prune592.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-log-exp
3×add-sqr-sqrt *-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×associate--l+ insert-posit16
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- diff-log associate-*r* *-commutative flip--
Counts
2 → 34
Calls
2 calls:
33.0ms
(- (* c_p (+ (+ (log 2) (log 1/2)) (* s 1/2))) (* 1/2 (* c_n s)))
13.0ms
(* 1/2 (* c_n s))

series135.0ms

Counts
2 → 6
Calls
2 calls:
115.0ms
(- (* c_p (+ (+ (log 2) (log 1/2)) (* s 1/2))) (* 1/2 (* c_n s)))
20.0ms
(* 1/2 (* c_n s))

simplify1.4s

Counts
40 → 40
Iterations
IterNodes
done5010
33057
2598
1211
079

prune147.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.1b

regimes355.0ms

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done21
121
015

end0.0ms

sample8.0m

Algorithm
intervals
Results
8.0m35308×body10240exit
2.1s38141×pre80true
564.0ms2744×body80valid
54.0ms3×body5120valid
34.0ms17×body1280valid
20.0ms17×body640valid
16.0ms5×body2560valid
16.0ms37×body160valid
6.0ms10×body320valid