Pow Mul x0 acosh tan Mul 2 x0 Pow -4 x7 
Mul Pow Mul x0 acosh tan Mul 2 x0 Add Pow -4 x7 -1 Mul Pow -4 x7 Add acosh tan Mul 2 x0 Mul x0 Mul Mul Pow sec Mul 2 x0 2 2 Pow Mul sqrt Add tan Mul 2 x0 -1 sqrt Add 1 tan Mul 2 x0 -1 