Mul Add 2 Pow Pow Mul Mul x0 asinh pi x0 asinh x1 E acoth Add Add -0.141592653589793 x0 1 
Add Mul acoth Add Add -0.141592653589793 x0 1 Mul Pow Pow Mul Mul x0 asinh pi x0 asinh x1 Add E -1 Mul E Mul Pow Mul Mul x0 asinh pi x0 Add asinh x1 -1 Mul asinh x1 Add Mul x0 asinh pi Mul x0 asinh pi Mul Add 2 Pow Pow Mul Mul x0 asinh pi x0 asinh x1 E Pow Add 1 Mul -1 Mul Add Add -0.141592653589793 x0 1 Add Add -0.141592653589793 x0 1 -1 