acosh Add acoth acosh Mul Add asec x0 acosh x6 x0 sin x0 
Mul Add Mul Mul Add Mul x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Add asec x0 acosh x6 Pow Mul sqrt Add Mul Add asec x0 acosh x6 x0 -1 sqrt Add 1 Mul Add asec x0 acosh x6 x0 -1 Pow Add 1 Mul -1 Mul acosh Mul Add asec x0 acosh x6 x0 acosh Mul Add asec x0 acosh x6 x0 -1 cos x0 Pow Mul sqrt Add Add acoth acosh Mul Add asec x0 acosh x6 x0 sin x0 -1 sqrt Add 1 Add acoth acosh Mul Add asec x0 acosh x6 x0 sin x0 -1 