Pow Pow Mul asinh x0 7 pi cot asech Mul asinh Mul x3 pi sech E 
Mul Pow Pow Mul asinh x0 7 pi Add cot asech Mul asinh Mul x3 pi sech E -1 Mul cot asech Mul asinh Mul x3 pi sech E Mul Pow Mul asinh x0 7 Add pi -1 Mul pi Mul 7 Pow sqrt Add 1 Mul x0 x0 -1 