Mul x7 acot Add x3 Pow sqrt Mul acosh x0 cos Mul asec x5 x0 Mul x0 x0 
Mul x7 Mul -1 Mul Mul Pow sqrt Mul acosh x0 cos Mul asec x5 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow Mul 2 sqrt Mul acosh x0 cos Mul asec x5 x0 -1 Add Mul cos Mul asec x5 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul -1 sin Mul asec x5 x0 asec x5 Mul Mul sqrt Mul acosh x0 cos Mul asec x5 x0 log sqrt Mul acosh x0 cos Mul asec x5 x0 Add x0 x0 Pow Add 1 Mul Add x3 Pow sqrt Mul acosh x0 cos Mul asec x5 x0 Mul x0 x0 Add x3 Pow sqrt Mul acosh x0 cos Mul asec x5 x0 Mul x0 x0 -1 