Mul Pow x2 atan acosh Add 4 asech Mul cos x0 Pow x6 -3 pi 
Mul pi Mul Pow x2 Add atan acosh Add 4 asech Mul cos x0 Pow x6 -3 -1 Mul Mul x2 log x2 Mul Mul Mul Mul Pow x6 -3 Mul -1 sin x0 Pow Mul Mul Mul cos x0 Pow x6 -3 Mul cos x0 Pow x6 -3 sqrt Add 1 Mul -1 Pow Mul Mul cos x0 Pow x6 -3 Mul cos x0 Pow x6 -3 -1 -1 Pow Mul sqrt Add Add 4 asech Mul cos x0 Pow x6 -3 -1 sqrt Add 1 Add 4 asech Mul cos x0 Pow x6 -3 -1 Pow Add 1 Mul acosh Add 4 asech Mul cos x0 Pow x6 -3 acosh Add 4 asech Mul cos x0 Pow x6 -3 -1 