Add x0 acos Pow Mul Mul x0 x7 2 Add coth x0 sec x0 
Add 1 Mul -1 Mul Mul Pow Mul Mul x0 x7 2 Add Add coth x0 sec x0 -1 Add Mul Add coth x0 sec x0 Mul 2 x7 Mul Mul Mul Mul x0 x7 2 log Mul Mul x0 x7 2 Add Mul -1 Pow csch x0 2 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul Mul x0 x7 2 Add coth x0 sec x0 Pow Mul Mul x0 x7 2 Add coth x0 sec x0 -1 