Pow Add asech pi 2 Mul acosh Mul x6 x0 x2 
Mul Pow Add asech pi 2 Add Mul acosh Mul x6 x0 x2 -1 Mul Mul Add asech pi 2 log Add asech pi 2 Mul x2 Mul x6 Pow Mul sqrt Add Mul x6 x0 -1 sqrt Add 1 Mul x6 x0 -1 