Mul Add Mul 3 Mul x0 atanh cos x6 Pow E Add acos Mul sinh x7 x0 x0 atanh Pow x6 E 
Mul atanh Pow x6 E Add Mul 3 atanh cos x6 Mul Pow E Add Add acos Mul sinh x7 x0 x0 -1 Mul Mul E log E Add Mul -1 Mul sinh x7 Pow sqrt Add 1 Mul -1 Mul Mul sinh x7 x0 Mul sinh x7 x0 -1 1 