Mul pi sin Mul x0 asech Pow sec acosh x6 Mul x0 Mul x0 3 
Mul pi Mul cos Mul x0 asech Pow sec acosh x6 Mul x0 Mul x0 3 Add asech Pow sec acosh x6 Mul x0 Mul x0 3 Mul x0 Mul Mul Pow sec acosh x6 Add Mul x0 Mul x0 3 -1 Mul Mul sec acosh x6 log sec acosh x6 Add Mul x0 3 Mul x0 3 Pow Mul Mul Pow sec acosh x6 Mul x0 Mul x0 3 Pow sec acosh x6 Mul x0 Mul x0 3 sqrt Add 1 Mul -1 Pow Mul Pow sec acosh x6 Mul x0 Mul x0 3 Pow sec acosh x6 Mul x0 Mul x0 3 -1 -1 