Pow sqrt Pow Pow acosh Mul E 2 x0 atanh x5 asin pi 
Mul Pow sqrt Pow Pow acosh Mul E 2 x0 atanh x5 Add asin pi -1 Mul asin pi Mul Pow Mul 2 sqrt Pow Pow acosh Mul E 2 x0 atanh x5 -1 Mul Pow Pow acosh Mul E 2 x0 Add atanh x5 -1 Mul atanh x5 Mul Pow acosh Mul E 2 Add x0 -1 Mul acosh Mul E 2 log acosh Mul E 2 