Add Add cosh x3 sech Pow x0 Mul exp acosh sec x0 pi 4 
Mul Mul tanh Pow x0 Mul exp acosh sec x0 pi Mul -1 sech Pow x0 Mul exp acosh sec x0 pi Mul Pow x0 Add Mul exp acosh sec x0 pi -1 Add Mul exp acosh sec x0 pi Mul Mul x0 log x0 Mul pi Mul exp acosh sec x0 Mul Mul tan x0 sec x0 Pow Mul sqrt Add sec x0 -1 sqrt Add 1 sec x0 -1 