tan Pow acosh Mul x0 log x6 Add x0 Mul x0 Mul x0 asec x1 
Mul Pow sec Pow acosh Mul x0 log x6 Add x0 Mul x0 Mul x0 asec x1 2 Mul Pow acosh Mul x0 log x6 Add Add x0 Mul x0 Mul x0 asec x1 -1 Add Mul Add x0 Mul x0 Mul x0 asec x1 Mul log x6 Pow Mul sqrt Add Mul x0 log x6 -1 sqrt Add 1 Mul x0 log x6 -1 Mul Mul acosh Mul x0 log x6 log acosh Mul x0 log x6 Add 1 Add Mul x0 asec x1 Mul x0 asec x1 