Pow acosh Add sec x0 sqrt E Mul Mul x0 2 x0 
Mul Pow acosh Add sec x0 sqrt E Add Mul Mul x0 2 x0 -1 Add Mul Mul Mul x0 2 x0 Mul Mul tan x0 sec x0 Pow Mul sqrt Add Add sec x0 sqrt E -1 sqrt Add 1 Add sec x0 sqrt E -1 Mul Mul acosh Add sec x0 sqrt E log acosh Add sec x0 sqrt E Add Mul x0 2 Mul x0 2 