Add 2 exp Pow acoth acoth x0 acoth Add Pow x2 tanh sin x0 x3 
Mul exp Pow acoth acoth x0 acoth Add Pow x2 tanh sin x0 x3 Mul Pow acoth acoth x0 Add acoth Add Pow x2 tanh sin x0 x3 -1 Add Mul acoth Add Pow x2 tanh sin x0 x3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Mul acoth acoth x0 log acoth acoth x0 Mul Mul Pow x2 Add tanh sin x0 -1 Mul Mul x2 log x2 Mul Pow sech sin x0 2 cos x0 Pow Add 1 Mul -1 Mul Add Pow x2 tanh sin x0 x3 Add Pow x2 tanh sin x0 x3 -1 