Add log log x0 atanh Mul -2 Mul x5 cos atan acot cos Mul E Add acoth x0 Mul acoth x5 x6 
Add Mul Pow x0 -1 Pow log x0 -1 Mul Mul -2 Mul x5 Mul Mul -1 sin atan acot cos Mul E Add acoth x0 Mul acoth x5 x6 Mul Mul -1 Mul Mul Mul -1 sin Mul E Add acoth x0 Mul acoth x5 x6 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul cos Mul E Add acoth x0 Mul acoth x5 x6 cos Mul E Add acoth x0 Mul acoth x5 x6 -1 Pow Add 1 Mul acot cos Mul E Add acoth x0 Mul acoth x5 x6 acot cos Mul E Add acoth x0 Mul acoth x5 x6 -1 Pow Add 1 Mul -1 Mul Mul -2 Mul x5 cos atan acot cos Mul E Add acoth x0 Mul acoth x5 x6 Mul -2 Mul x5 cos atan acot cos Mul E Add acoth x0 Mul acoth x5 x6 -1 