Mul Mul Mul sec x0 pi asin Mul pi cosh x0 Add -4 asech Pow x4 pi 
Mul Add -4 asech Pow x4 pi Add Mul asin Mul pi cosh x0 Mul pi Mul tan x0 sec x0 Mul Mul sec x0 pi Mul Mul pi sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul pi cosh x0 Mul pi cosh x0 -1 