Mul 4 atan Mul atanh x1 asinh tanh atanh Mul x0 x0 
Mul 4 Mul Mul atanh x1 Mul Mul Pow sech atanh Mul x0 x0 2 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow sqrt Add 1 Mul tanh atanh Mul x0 x0 tanh atanh Mul x0 x0 -1 Pow Add 1 Mul Mul atanh x1 asinh tanh atanh Mul x0 x0 Mul atanh x1 asinh tanh atanh Mul x0 x0 -1 