Add Mul asec asec x1 Mul x0 Pow acosh exp x0 exp x0 x0 
Add Mul asec asec x1 Add Pow acosh exp x0 exp x0 Mul x0 Mul Pow acosh exp x0 Add exp x0 -1 Add Mul exp x0 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Mul Mul acosh exp x0 log acosh exp x0 exp x0 1 