acosh Mul -4 Mul x0 asech Mul x0 6 
Mul Mul -4 Add asech Mul x0 6 Mul x0 Mul 6 Pow Mul Mul Mul x0 6 Mul x0 6 sqrt Add 1 Mul -1 Pow Mul Mul x0 6 Mul x0 6 -1 -1 Pow Mul sqrt Add Mul -4 Mul x0 asech Mul x0 6 -1 sqrt Add 1 Mul -4 Mul x0 asech Mul x0 6 -1 