acoth Mul Mul x0 atanh asec tanh x0 x2 
Mul Mul x2 Add atanh asec tanh x0 Mul x0 Mul Mul Pow sech x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tanh x0 tanh x0 -1 tanh x0 tanh x0 -1 Pow Add 1 Mul -1 Mul asec tanh x0 asec tanh x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 atanh asec tanh x0 x2 Mul Mul x0 atanh asec tanh x0 x2 -1 