Add Add asin x7 acos x3 Pow Pow Mul Pow Pow x0 Pow x2 4 acoth x4 E tan atan acoth E acot x0 
Mul Pow Pow Mul Pow Pow x0 Pow x2 4 acoth x4 E tan atan acoth E Add acot x0 -1 Add Mul acot x0 Mul Pow Mul Pow Pow x0 Pow x2 4 acoth x4 E Add tan atan acoth E -1 Mul tan atan acoth E Mul E Mul Pow Pow x0 Pow x2 4 Add acoth x4 -1 Mul acoth x4 Mul Pow x0 Add Pow x2 4 -1 Pow x2 4 Mul Mul Pow Mul Pow Pow x0 Pow x2 4 acoth x4 E tan atan acoth E log Pow Mul Pow Pow x0 Pow x2 4 acoth x4 E tan atan acoth E Mul -1 Pow Add 1 Mul x0 x0 -1 