Add Mul x0 Pow acosh Pow x0 x1 pi tan x0 
Add Add Pow acosh Pow x0 x1 pi Mul x0 Mul Pow acosh Pow x0 x1 Add pi -1 Mul pi Mul Mul Pow x0 Add x1 -1 x1 Pow Mul sqrt Add Pow x0 x1 -1 sqrt Add 1 Pow x0 x1 -1 Pow sec x0 2 