acosh Pow Pow sech atan pi Pow x0 atanh E x0 
Mul Mul Pow Pow sech atan pi Pow x0 atanh E Add x0 -1 Add Mul x0 Mul Pow sech atan pi Add Pow x0 atanh E -1 Mul Mul sech atan pi log sech atan pi Mul Pow x0 Add atanh E -1 atanh E Mul Pow sech atan pi Pow x0 atanh E log Pow sech atan pi Pow x0 atanh E Pow Mul sqrt Add Pow Pow sech atan pi Pow x0 atanh E x0 -1 sqrt Add 1 Pow Pow sech atan pi Pow x0 atanh E x0 -1 