acosh Mul sec Add acosh acoth acsch x2 acos Add asec x0 cos x0 pi 
Mul Mul pi Mul Mul tan Add acosh acoth acsch x2 acos Add asec x0 cos x0 sec Add acosh acoth acsch x2 acos Add asec x0 cos x0 Mul -1 Mul Add Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Add asec x0 cos x0 Add asec x0 cos x0 -1 Pow Mul sqrt Add Mul sec Add acosh acoth acsch x2 acos Add asec x0 cos x0 pi -1 sqrt Add 1 Mul sec Add acosh acoth acsch x2 acos Add asec x0 cos x0 pi -1 