Mul Pow x0 x0 Mul sec x0 Pow Pow atan x0 pi acosh x6 
Add Mul Mul sec x0 Pow Pow atan x0 pi acosh x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Add Mul Pow Pow atan x0 pi acosh x6 Mul tan x0 sec x0 Mul sec x0 Mul Pow Pow atan x0 pi Add acosh x6 -1 Mul acosh x6 Mul Pow atan x0 Add pi -1 Mul pi Pow Add 1 Mul x0 x0 -1 