asinh Mul tan sin Add Pow x0 acosh x3 x1 pi 
Mul Mul pi Mul Pow sec sin Add Pow x0 acosh x3 x1 2 Mul cos Add Pow x0 acosh x3 x1 Mul Pow x0 Add acosh x3 -1 acosh x3 Pow sqrt Add 1 Mul Mul tan sin Add Pow x0 acosh x3 x1 pi Mul tan sin Add Pow x0 acosh x3 x1 pi -1 