Pow 2 Pow x0 Pow asinh tanh Mul atanh x7 asech x0 Add pi Pow sech x0 E 
Mul Pow 2 Add Pow x0 Pow asinh tanh Mul atanh x7 asech x0 Add pi Pow sech x0 E -1 Mul 2.69314718055995 Mul Pow x0 Add Pow asinh tanh Mul atanh x7 asech x0 Add pi Pow sech x0 E -1 Add Pow asinh tanh Mul atanh x7 asech x0 Add pi Pow sech x0 E Mul Mul x0 log x0 Mul Pow asinh tanh Mul atanh x7 asech x0 Add Add pi Pow sech x0 E -1 Add Mul Add pi Pow sech x0 E Mul Mul Pow sech Mul atanh x7 asech x0 2 Mul atanh x7 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul tanh Mul atanh x7 asech x0 tanh Mul atanh x7 asech x0 -1 Mul Mul asinh tanh Mul atanh x7 asech x0 log asinh tanh Mul atanh x7 asech x0 Mul Pow sech x0 Add E -1 Mul E Mul tanh x0 Mul -1 sech x0 