acos Pow Mul Mul 22 Mul x0 Mul asin Mul x0 csch x6 Pow sinh x0 -4 x0 4 
Mul -1 Mul Mul Pow Mul Mul 22 Mul x0 Mul asin Mul x0 csch x6 Pow sinh x0 -4 x0 3 Mul 4 Add Mul x0 Mul 22 Add Mul asin Mul x0 csch x6 Pow sinh x0 -4 Mul x0 Add Mul Pow sinh x0 -4 Mul csch x6 Pow sqrt Add 1 Mul -1 Mul Mul x0 csch x6 Mul x0 csch x6 -1 Mul asin Mul x0 csch x6 Mul Pow sinh x0 5 Mul -4 cosh x0 Mul 22 Mul x0 Mul asin Mul x0 csch x6 Pow sinh x0 -4 Pow sqrt Add 1 Mul -1 Mul Pow Mul Mul 22 Mul x0 Mul asin Mul x0 csch x6 Pow sinh x0 -4 x0 4 Pow Mul Mul 22 Mul x0 Mul asin Mul x0 csch x6 Pow sinh x0 -4 x0 4 -1 