Pow Pow Mul x3 atan coth atan x3 x0 asin tanh x0 
Mul Pow Pow Mul x3 atan coth atan x3 x0 Add asin tanh x0 -1 Add Mul asin tanh x0 Mul Pow Mul x3 atan coth atan x3 Add x0 -1 Mul Mul x3 atan coth atan x3 log Mul x3 atan coth atan x3 Mul Mul Pow Mul x3 atan coth atan x3 x0 log Pow Mul x3 atan coth atan x3 x0 Mul Pow sech x0 2 Pow sqrt Add 1 Mul -1 Mul tanh x0 tanh x0 -1 