Mul x7 Mul sec cos Pow Mul x0 x0 pi acosh x0 
Mul x7 Add Mul acosh x0 Mul Mul tan cos Pow Mul x0 x0 pi sec cos Pow Mul x0 x0 pi Mul Mul -1 sin Pow Mul x0 x0 pi Mul Pow Mul x0 x0 Add pi -1 Mul pi Add x0 x0 Mul sec cos Pow Mul x0 x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 