Details

Time bar (total: 10.0m)

sample41.1s

Algorithm
intervals
Results
40.2s2924×body10240exit
648.0ms3180×pre80true
55.0ms247×body80valid
3.0ms3×body640valid
1.0ms3×body320valid
1.0ms3×body160valid

simplify566.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02243
15343
214743
384743
done500143

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.5b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
0.2b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
1.5b
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
5.4b
(/ (* (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)))

rewrite209.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×expm1-log1p-u cbrt-undiv cbrt-unprod log1p-expm1-u
3×fma-neg
2×pow-pow difference-of-squares sqr-pow
1×clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log flip-- associate-/l* distribute-lft-out--
Counts
4 → 332
Calls
4 calls:
31.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
15.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
15.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
132.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)))

series795.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))
71.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
70.0ms
(pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p)
603.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)))

simplify472.0ms

Counts
344 → 344
Iterations

Useful iterations: done (459.0ms)

IterNodesCost
047714286
1151713193
done500011961

prune840.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
1.5b
(log (/ 1.0 (+ 1.0 (exp (- t)))))
9.5b
(- (log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))
11.2b
(log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)))

rewrite776.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
31×add-sqr-sqrt add-exp-log
29×add-cube-cbrt
24×times-frac
20×log-prod
18×unpow-prod-down
15×rem-log-exp
12×pow1 prod-diff pow-exp prod-exp
8×pow-to-exp
7×log-pow
6×distribute-lft-out
5×div-exp add-log-exp
4×expm1-log1p-u add-cbrt-cube fma-neg associate-/r/ log1p-expm1-u
3×pow-unpow
2×flip3-+ flip-+ div-inv distribute-lft-out--
1×log-div sub-neg pow-pow flip3-- diff-log associate--l+ fma-udef flip-- associate--r+ difference-of-squares sqr-pow
Counts
4 → 125
Calls
4 calls:
15.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
7.0ms
(log (/ 1.0 (+ 1.0 (exp (- t)))))
685.0ms
(- (log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))
65.0ms
(log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)))

series674.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p)
73.0ms
(log (/ 1.0 (+ 1.0 (exp (- t)))))
329.0ms
(- (log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))
198.0ms
(log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)))

simplify914.0ms

Counts
137 → 137
Iterations

Useful iterations: done (910.0ms)

IterNodesCost
03055151
17634136
223723605
done50013181

prune764.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
0.2b
(* (log 0.5) (+ c_p c_n))
1.5b
(log (/ 1.0 (+ 1.0 (exp (- t)))))
9.5b
(- (fma (* 0.5 c_p) s (* (log 0.5) (+ c_p c_n))) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
29×add-sqr-sqrt
23×add-cube-cbrt
18×log-prod
12×times-frac
11×pow1 add-exp-log
9×prod-diff
8×add-cbrt-cube associate-*l*
7×associate-*r*
6×add-log-exp
4×expm1-log1p-u log1p-expm1-u distribute-lft-out
3×fma-neg log-pow
2×flip3-+ rem-log-exp pow-prod-down prod-exp associate-*r/ associate-/r/ *-commutative cbrt-unprod flip-+ fma-udef unswap-sqr
1×distribute-rgt-in log-div sub-neg distribute-lft-in flip3-- diff-log div-exp associate--l+ div-inv flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 108
Calls
4 calls:
6.0ms
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
20.0ms
(* (log 0.5) (+ c_p c_n))
7.0ms
(log (/ 1.0 (+ 1.0 (exp (- t)))))
5.0ms
(- (fma (* 0.5 c_p) s (* (log 0.5) (+ c_p c_n))) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

series471.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
84.0ms
(* (log 0.5) (+ c_p c_n))
74.0ms
(log (/ 1.0 (+ 1.0 (exp (- t)))))
185.0ms
(- (fma (* 0.5 c_p) s (* (log 0.5) (+ c_p c_n))) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

simplify1.1s

Counts
120 → 120
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02653719
16092985
223582540
done50012233

prune632.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (- (fma 0.5 t (log 0.5)) (* 0.03125 (/ (pow t 2) (pow 0.5 2)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n))
0.2b
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
0.2b
(* (log 0.5) (+ c_p c_n))
9.7b
(- (fma (* 0.5 c_p) s (* (log 0.5) (+ c_p c_n))) (fma (- (fma 0.5 t (log 0.5)) (* 0.03125 (/ (pow t 2) (pow 0.5 2)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
10×pow1
9×prod-diff
8×add-cbrt-cube associate-*l* add-exp-log
7×associate-*r*
6×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×fma-neg fma-udef
2×pow-prod-down prod-exp associate-*r/ log-pow *-commutative cbrt-unprod unswap-sqr
1×distribute-rgt-in sub-neg distribute-lft-in flip3-+ flip3-- diff-log associate--l+ flip-+ flip-- distribute-lft-out associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 87
Calls
4 calls:
0.0ms
(fma (- (fma 0.5 t (log 0.5)) (* 0.03125 (/ (pow t 2) (pow 0.5 2)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n))
6.0ms
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
15.0ms
(* (log 0.5) (+ c_p c_n))
5.0ms
(- (fma (* 0.5 c_p) s (* (log 0.5) (+ c_p c_n))) (fma (- (fma 0.5 t (log 0.5)) (* 0.03125 (/ (pow t 2) (pow 0.5 2)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

series653.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(fma (- (fma 0.5 t (log 0.5)) (* 0.03125 (/ (pow t 2) (pow 0.5 2)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n))
133.0ms
(* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)
85.0ms
(* (log 0.5) (+ c_p c_n))
278.0ms
(- (fma (* 0.5 c_p) s (* (log 0.5) (+ c_p c_n))) (fma (- (fma 0.5 t (log 0.5)) (* 0.03125 (/ (pow t 2) (pow 0.5 2)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))

simplify870.0ms

Counts
99 → 99
Iterations

Useful iterations: done (867.0ms)

IterNodesCost
01924209
14523248
219352751
done50012377

prune599.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

regimes166.0ms

bsearch4.0s

Steps
ItersRangePoint
6
1.4658888218428312e-133
1.6564504677404003e-132
1.683259532331983e-133

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04163
15063
done5063

end0.0ms

sample9.1m

Algorithm
intervals
Results
9.0m42203×body10240exit
2.0s45580×pre80true
879.0ms3261×body80valid
158.0ms8×body5120valid
35.0ms19×body1280valid
22.0ms8×body2560valid
21.0ms25×body640valid
12.0ms41×body160valid
6.0ms14×body320valid