Mul Pow x0 exp acos Pow x0 atan x4 Pow Mul x0 x6 Add coth acos x0 2.09439510239320 
Add Mul Pow Mul x0 x6 Add coth acos x0 2.09439510239320 Mul Pow x0 Add exp acos Pow x0 atan x4 -1 Add exp acos Pow x0 atan x4 Mul Mul x0 log x0 Mul exp acos Pow x0 atan x4 Mul -1 Mul Mul Pow x0 Add atan x4 -1 atan x4 Pow sqrt Add 1 Mul -1 Mul Pow x0 atan x4 Pow x0 atan x4 -1 Mul Pow x0 exp acos Pow x0 atan x4 Mul Pow Mul x0 x6 Add Add coth acos x0 2.09439510239320 -1 Add Mul Add coth acos x0 2.09439510239320 x6 Mul Mul Mul x0 x6 log Mul x0 x6 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 