Mul acosh sinh Mul x0 exp atan x6 x0 
Add Mul x0 Mul Mul cosh Mul x0 exp atan x6 exp atan x6 Pow Mul sqrt Add sinh Mul x0 exp atan x6 -1 sqrt Add 1 sinh Mul x0 exp atan x6 -1 acosh sinh Mul x0 exp atan x6 