acot Mul x0 Pow x0 csch Pow 4 sec x7 
Mul -1 Mul Add Pow x0 csch Pow 4 sec x7 Mul x0 Mul Pow x0 Add csch Pow 4 sec x7 -1 csch Pow 4 sec x7 Pow Add 1 Mul Mul x0 Pow x0 csch Pow 4 sec x7 Mul x0 Pow x0 csch Pow 4 sec x7 -1 