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