sech Pow atanh Pow acot Mul x0 x4 Pow Mul pi Mul cosh asech x0 x0 Mul 4 E x4 
Mul Mul tanh Pow atanh Pow acot Mul x0 x4 Pow Mul pi Mul cosh asech x0 x0 Mul 4 E x4 Mul -1 sech Pow atanh Pow acot Mul x0 x4 Pow Mul pi Mul cosh asech x0 x0 Mul 4 E x4 Mul Pow atanh Pow acot Mul x0 x4 Pow Mul pi Mul cosh asech x0 x0 Mul 4 E Add x4 -1 Mul x4 Mul Mul Pow acot Mul x0 x4 Add Pow Mul pi Mul cosh asech x0 x0 Mul 4 E -1 Add Mul Pow Mul pi Mul cosh asech x0 x0 Mul 4 E Mul -1 Mul x4 Pow Add 1 Mul Mul x0 x4 Mul x0 x4 -1 Mul Mul acot Mul x0 x4 log acot Mul x0 x4 Mul Pow Mul pi Mul cosh asech x0 x0 Add Mul 4 E -1 Mul Mul 4 E Mul pi Add Mul x0 Mul sinh asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 cosh asech x0 Pow Add 1 Mul -1 Mul Pow acot Mul x0 x4 Pow Mul pi Mul cosh asech x0 x0 Mul 4 E Pow acot Mul x0 x4 Pow Mul pi Mul cosh asech x0 x0 Mul 4 E -1 