Pow Mul Mul acot asinh Mul cosh sqrt x0 x0 x0 Mul x2 x0 Add x1 -0.841421924193194 
Mul Pow Mul Mul acot asinh Mul cosh sqrt x0 x0 x0 Mul x2 x0 Add Add x1 -0.841421924193194 -1 Mul Add x1 -0.841421924193194 Add Mul Mul x2 x0 Add Mul x0 Mul -1 Mul Mul Add Mul x0 Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 cosh sqrt x0 Pow sqrt Add 1 Mul Mul cosh sqrt x0 x0 Mul cosh sqrt x0 x0 -1 Pow Add 1 Mul asinh Mul cosh sqrt x0 x0 asinh Mul cosh sqrt x0 x0 -1 acot asinh Mul cosh sqrt x0 x0 Mul Mul acot asinh Mul cosh sqrt x0 x0 x0 x2 