Mul Pow sqrt log coth x2 Add Pow x3 Mul -5 sqrt Mul x0 exp Add Mul acot x3 -2 x0 x0 x1 
Mul x1 Mul Pow sqrt log coth x2 Add Add Pow x3 Mul -5 sqrt Mul x0 exp Add Mul acot x3 -2 x0 x0 -1 Mul Mul sqrt log coth x2 log sqrt log coth x2 Add Mul Pow x3 Add Mul -5 sqrt Mul x0 exp Add Mul acot x3 -2 x0 -1 Mul Mul x3 log x3 Mul -5 Mul Pow Mul 2 sqrt Mul x0 exp Add Mul acot x3 -2 x0 -1 Add exp Add Mul acot x3 -2 x0 Mul x0 exp Add Mul acot x3 -2 x0 1 