Mul atanh Pow x0 asinh pi Add x6 acoth Add -3 x0 
Add Mul Add x6 acoth Add -3 x0 Mul Mul Pow x0 Add asinh pi -1 asinh pi Pow Add 1 Mul -1 Mul Pow x0 asinh pi Pow x0 asinh pi -1 Mul atanh Pow x0 asinh pi Pow Add 1 Mul -1 Mul Add -3 x0 Add -3 x0 -1 