Mul sec exp Add cot acoth x7 asec x0 Mul 2 x0 
Add Mul Mul 2 x0 Mul Mul tan exp Add cot acoth x7 asec x0 sec exp Add cot acoth x7 asec x0 Mul exp Add cot acoth x7 asec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul sec exp Add cot acoth x7 asec x0 2 