Mul Mul Mul sqrt Mul Mul x0 csc x0 Add acoth x5 x0 5 Pow sqrt x5 asin acoth Mul x0 acsch x2 x0 
Add Mul x0 Add Mul Pow sqrt x5 asin acoth Mul x0 acsch x2 Mul 5 Mul Pow Mul 2 sqrt Mul Mul x0 csc x0 Add acoth x5 x0 -1 Add Mul Add acoth x5 x0 Add csc x0 Mul x0 Mul Mul -1 cot x0 csc x0 Mul x0 csc x0 Mul Mul sqrt Mul Mul x0 csc x0 Add acoth x5 x0 5 Mul Pow sqrt x5 Add asin acoth Mul x0 acsch x2 -1 Mul Mul sqrt x5 log sqrt x5 Mul Mul acsch x2 Pow Add 1 Mul -1 Mul Mul x0 acsch x2 Mul x0 acsch x2 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul x0 acsch x2 acoth Mul x0 acsch x2 -1 Mul Mul sqrt Mul Mul x0 csc x0 Add acoth x5 x0 5 Pow sqrt x5 asin acoth Mul x0 acsch x2 