Mul -4 Pow acos cosh Mul x0 x5 sec x0 
Mul -4 Mul Pow acos cosh Mul x0 x5 Add sec x0 -1 Add Mul sec x0 Mul -1 Mul Mul sinh Mul x0 x5 x5 Pow sqrt Add 1 Mul -1 Mul cosh Mul x0 x5 cosh Mul x0 x5 -1 Mul Mul acos cosh Mul x0 x5 log acos cosh Mul x0 x5 Mul tan x0 sec x0 