Add Pow acot acos Pow Pow Add acsch x1 csch x0 x1 x0 Pow acsch x5 x2 Add x6 tan x0 
Add Mul Pow acot acos Pow Pow Add acsch x1 csch x0 x1 x0 Add Pow acsch x5 x2 -1 Mul Pow acsch x5 x2 Mul -1 Mul Mul -1 Mul Mul Pow Pow Add acsch x1 csch x0 x1 Add x0 -1 Add Mul x0 Mul Pow Add acsch x1 csch x0 Add x1 -1 Mul x1 Mul Mul -1 coth x0 csch x0 Mul Pow Add acsch x1 csch x0 x1 log Pow Add acsch x1 csch x0 x1 Pow sqrt Add 1 Mul -1 Mul Pow Pow Add acsch x1 csch x0 x1 x0 Pow Pow Add acsch x1 csch x0 x1 x0 -1 Pow Add 1 Mul acos Pow Pow Add acsch x1 csch x0 x1 x0 acos Pow Pow Add acsch x1 csch x0 x1 x0 -1 Pow sec x0 2 