Details

Time bar (total: 2.3m)

sample46.3s

Algorithm
intervals
Results
46.0s3340×body10240exit
100.0ms3596×pre80true
28.0ms241×body80valid
7.0ms4×body1280valid
3.0ms9×body160valid
2.0ms2×body640valid

simplify631.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02243
15343
214743
383943
done500143

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.2b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
1.0b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
1.9b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
4.2b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

rewrite279.0ms

Algorithm
rewrite-expression-head
Rules
556×add-exp-log
312×prod-exp
264×pow-exp
249×div-exp
184×pow-to-exp
97×*-un-lft-identity
70×add-sqr-sqrt
65×add-cube-cbrt
62×times-frac
54×prod-diff
36×unpow-prod-down
16×add-cbrt-cube
15×distribute-lft-out
10×associate-/r/
6×pow1 pow-unpow div-inv add-log-exp
5×flip3-+ flip-+
4×cbrt-undiv expm1-log1p-u cbrt-unprod log1p-expm1-u
3×fma-neg
2×pow-pow difference-of-squares sqr-pow
1×sub-neg flip3-- frac-2neg diff-log clear-num associate-/r* flip-- associate-/l* distribute-lft-out--
Counts
4 → 332
Calls
4 calls:
42.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
20.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
20.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
175.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

series858.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
76.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
75.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
653.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify1.4s

Counts
344 → 344
Iterations

Useful iterations: done (1.4s)

IterNodesCost
047114274
1113613014
2319711812
done500011521

prune549.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.2b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
0.0b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
1.0b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
2.4b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

rewrite270.0ms

Algorithm
rewrite-expression-head
Rules
169×add-exp-log
145×*-un-lft-identity
109×add-sqr-sqrt
108×prod-diff
99×add-cube-cbrt
87×times-frac prod-exp
65×div-exp
55×pow-exp
42×pow-to-exp
21×distribute-lft-out
18×unpow-prod-down
16×add-cbrt-cube
14×associate-/r/
8×div-inv add-log-exp
7×flip3-+ flip-+
6×fma-neg
5×pow1
4×cbrt-undiv expm1-log1p-u cbrt-unprod log1p-expm1-u difference-of-squares
3×pow-unpow
2×sub-neg flip3-- diff-log flip-- distribute-lft-out--
1×pow-pow frac-2neg clear-num associate-/r* associate-/l* sqr-pow
Counts
4 → 254
Calls
4 calls:
42.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
42.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
20.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
153.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

series969.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- s)))))
53.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
72.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
790.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

simplify1.6s

Counts
266 → 266
Iterations

Useful iterations: done (1.6s)

IterNodesCost
055011940
1135910677
242198567
done50008555

prune850.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 1.2b

localize8.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune3.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 1.2b

localize12.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (pow (log 0.5) 2) (pow c_p 2))
1.0b
(pow (log 0.5) 2)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
19×unpow-prod-down
16×unswap-sqr
15×add-exp-log
11×unpow2 sqr-pow
9×associate-*l* prod-exp
8×add-cube-cbrt *-un-lft-identity associate-*r*
7×pow-to-exp pow-exp
5×pow1
4×add-cbrt-cube
3×pow-unpow
2×expm1-log1p-u log-pow log1p-expm1-u add-log-exp
1×pow-pow pow-prod-down *-commutative cbrt-unprod
Counts
2 → 75
Calls
2 calls:
26.0ms
(* (pow (log 0.5) 2) (pow c_p 2))
3.0ms
(pow (log 0.5) 2)

series177.0ms

Counts
2 → 4
Calls
2 calls:
177.0ms
(* (pow (log 0.5) 2) (pow c_p 2))
0.0ms
(pow (log 0.5) 2)

simplify1.8s

Counts
79 → 79
Iterations

Useful iterations: done (1.8s)

IterNodesCost
098846
1194726
2516587
32189579
done5001566

prune156.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 1.2b

regimes561.0ms

bsearch24.3s

Steps
ItersRangePoint
7
2.715737396568425e-51
8.209587037198636e-50
3.662699847457078e-50
12
-8.350651902467424e+80
-216722931.06973895
-520594611.85202074

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
038108
15165
done5165

end0.0ms

sample57.8s

Algorithm
intervals
Results
57.3s4456×body10240exit
313.0ms4792×pre80true
33.0ms319×body80valid
7.0ms4×body1280valid
3.0ms11×body160valid
2.0ms2×body640valid