acsch acot Add 3 Pow x3 Mul Pow Mul acoth x6 7 acsc x0 x1 
Mul Mul -1 Mul -1 Mul Mul Pow x3 Add Mul Pow Mul acoth x6 7 acsc x0 x1 -1 Mul Mul x3 log x3 Mul x1 Mul Pow Mul acoth x6 7 Add acsc x0 -1 Mul Mul Mul acoth x6 7 log Mul acoth x6 7 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Add 3 Pow x3 Mul Pow Mul acoth x6 7 acsc x0 x1 Add 3 Pow x3 Mul Pow Mul acoth x6 7 acsc x0 x1 -1 Pow Mul Mul acot Add 3 Pow x3 Mul Pow Mul acoth x6 7 acsc x0 x1 acot Add 3 Pow x3 Mul Pow Mul acoth x6 7 acsc x0 x1 sqrt Add 1 Mul -1 Pow Mul acot Add 3 Pow x3 Mul Pow Mul acoth x6 7 acsc x0 x1 acot Add 3 Pow x3 Mul Pow Mul acoth x6 7 acsc x0 x1 -1 -1 