Pow Add Mul x0 sec x5 Mul x0 Mul Add csch x0 x0 asin x7 Mul -3 x0 
Mul Pow Add Mul x0 sec x5 Mul x0 Mul Add csch x0 x0 asin x7 Add Mul -3 x0 -1 Add Mul Mul -3 x0 Add sec x5 Add Mul Add csch x0 x0 asin x7 Mul x0 Mul asin x7 Add Mul Mul -1 coth x0 csch x0 1 Mul Mul Add Mul x0 sec x5 Mul x0 Mul Add csch x0 x0 asin x7 log Add Mul x0 sec x5 Mul x0 Mul Add csch x0 x0 asin x7 -3 