atan Mul Mul Add Mul Add asech x3 -1 x0 Pow x0 cosh sec acot Add -2 x1 Mul x1 x2 x3 
Mul Mul x3 Mul Mul x1 x2 Add Add asech x3 -1 Mul Pow x0 Add cosh sec acot Add -2 x1 -1 cosh sec acot Add -2 x1 Pow Add 1 Mul Mul Mul Add Mul Add asech x3 -1 x0 Pow x0 cosh sec acot Add -2 x1 Mul x1 x2 x3 Mul Mul Add Mul Add asech x3 -1 x0 Pow x0 cosh sec acot Add -2 x1 Mul x1 x2 x3 -1 