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