Mul cosh Add Pow sec Mul x0 x1 acot x0 x0 x0 
Add Mul x0 Mul sinh Add Pow sec Mul x0 x1 acot x0 x0 Add Mul Pow sec Mul x0 x1 Add acot x0 -1 Add Mul acot x0 Mul Mul tan Mul x0 x1 sec Mul x0 x1 x1 Mul Mul sec Mul x0 x1 log sec Mul x0 x1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 cosh Add Pow sec Mul x0 x1 acot x0 x0 