acoth sqrt Add Mul x0 4 Mul Add x0 atanh x0 cot asinh acot pi 
Mul Mul Pow Mul 2 sqrt Add Mul x0 4 Mul Add x0 atanh x0 cot asinh acot pi -1 Add 4 Mul cot asinh acot pi Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sqrt Add Mul x0 4 Mul Add x0 atanh x0 cot asinh acot pi sqrt Add Mul x0 4 Mul Add x0 atanh x0 cot asinh acot pi -1 