acot Add asinh x0 Add x0 Mul Pow asech sqrt x0 pi Add Mul x0 x0 x0 
Mul -1 Mul Add Pow sqrt Add 1 Mul x0 x0 -1 Add 1 Add Mul Add Mul x0 x0 x0 Mul Pow asech sqrt x0 Add pi -1 Mul pi Mul Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Mul Pow asech sqrt x0 pi Add Add x0 x0 1 Pow Add 1 Mul Add asinh x0 Add x0 Mul Pow asech sqrt x0 pi Add Mul x0 x0 x0 Add asinh x0 Add x0 Mul Pow asech sqrt x0 pi Add Mul x0 x0 x0 -1 