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