Add 3 Mul sinh Pow x0 atanh x3 Pow Mul x0 acos x0 E 
Add Mul Pow Mul x0 acos x0 E Mul cosh Pow x0 atanh x3 Mul Pow x0 Add atanh x3 -1 atanh x3 Mul sinh Pow x0 atanh x3 Mul Pow Mul x0 acos x0 Add E -1 Mul E Add acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 