Mul x5 csch Mul tanh sin Pow x0 acot log x4 x0 
Mul x5 Mul Mul Mul -1 coth Mul tanh sin Pow x0 acot log x4 x0 csch Mul tanh sin Pow x0 acot log x4 x0 Add Mul x0 Mul Pow sech sin Pow x0 acot log x4 2 Mul cos Pow x0 acot log x4 Mul Pow x0 Add acot log x4 -1 acot log x4 tanh sin Pow x0 acot log x4 