Add x0 log Add acot x0 sqrt Pow x2 atan sech x0 
Add 1 Mul Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul 2 sqrt Pow x2 atan sech x0 -1 Mul Pow x2 Add atan sech x0 -1 Mul Mul x2 log x2 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul sech x0 sech x0 -1 Pow Add acot x0 sqrt Pow x2 atan sech x0 -1 