Add Pow tanh Mul acos E x0 Pow 4 x0 Add Add x0 x0 atanh x1 
Add Mul Pow tanh Mul acos E x0 Add Pow 4 x0 -1 Add Mul Pow 4 x0 Mul Pow sech Mul acos E x0 2 acos E Mul Mul tanh Mul acos E x0 log tanh Mul acos E x0 Mul Pow 4 Add x0 -1 5.38629436111989 2 