Add acsc Pow x0 x2 Pow acoth Mul 3 sec x0 Pow Add Mul sec x6 x0 x0 Add Pow Mul Pow x1 x0 -2 x0 x0 
Add Mul -1 Mul Mul Pow x0 Add x2 -1 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 x2 Pow x0 x2 -1 Pow x0 x2 Pow x0 x2 -1 Mul Pow acoth Mul 3 sec x0 Add Pow Add Mul sec x6 x0 x0 Add Pow Mul Pow x1 x0 -2 x0 x0 -1 Add Mul Pow Add Mul sec x6 x0 x0 Add Pow Mul Pow x1 x0 -2 x0 x0 Mul Mul 3 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Mul 3 sec x0 Mul 3 sec x0 -1 Mul Mul acoth Mul 3 sec x0 log acoth Mul 3 sec x0 Mul Pow Add Mul sec x6 x0 x0 Add Add Pow Mul Pow x1 x0 -2 x0 x0 -1 Add Mul Add Pow Mul Pow x1 x0 -2 x0 x0 Add sec x6 1 Mul Mul Add Mul sec x6 x0 x0 log Add Mul sec x6 x0 x0 Add Mul Pow Mul Pow x1 x0 -2 Add x0 -1 Add Mul x0 Mul -2 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul Pow x1 x0 -2 log Mul Pow x1 x0 -2 1 