Mul Add x0 acot x0 Mul x0 cosh Pow pi Mul cot acos x0 asinh Mul Mul x1 x0 x0 
Add Mul Mul x0 cosh Pow pi Mul cot acos x0 asinh Mul Mul x1 x0 x0 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Add x0 acot x0 Add cosh Pow pi Mul cot acos x0 asinh Mul Mul x1 x0 x0 Mul x0 Mul sinh Pow pi Mul cot acos x0 asinh Mul Mul x1 x0 x0 Mul Pow pi Add Mul cot acos x0 asinh Mul Mul x1 x0 x0 -1 Mul Mul pi log pi Add Mul asinh Mul Mul x1 x0 x0 Mul Mul -1 Pow csc acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul cot acos x0 Mul Add Mul x0 x1 Mul x1 x0 Pow sqrt Add 1 Mul Mul Mul x1 x0 x0 Mul Mul x1 x0 x0 -1 