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