Mul acot Mul x4 x0 Mul Pow acsch tan tanh Mul acoth x0 x0 acosh x3 x0 
Add Mul Mul Pow acsch tan tanh Mul acoth x0 x0 acosh x3 x0 Mul -1 Mul x4 Pow Add 1 Mul Mul x4 x0 Mul x4 x0 -1 Mul acot Mul x4 x0 Add Mul x0 Mul Pow acsch tan tanh Mul acoth x0 x0 Add acosh x3 -1 Mul acosh x3 Mul Mul -1 Mul Pow sec tanh Mul acoth x0 x0 2 Mul Pow sech Mul acoth x0 x0 2 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 Pow Mul Mul tan tanh Mul acoth x0 x0 tan tanh Mul acoth x0 x0 sqrt Add 1 Mul -1 Pow Mul tan tanh Mul acoth x0 x0 tan tanh Mul acoth x0 x0 -1 -1 Pow acsch tan tanh Mul acoth x0 x0 acosh x3 