Mul Pow Mul sech Pow x3 -3 acot asec Mul acoth sqrt x7 0.604582445941591 x0 x5 
Mul x5 Mul Pow Mul sech Pow x3 -3 acot asec Mul acoth sqrt x7 0.604582445941591 Add x0 -1 Mul Mul sech Pow x3 -3 acot asec Mul acoth sqrt x7 0.604582445941591 log Mul sech Pow x3 -3 acot asec Mul acoth sqrt x7 0.604582445941591 