Pow Mul 5 cos Pow sqrt Mul x7 x0 x6 acsch acosh x0 
Mul Pow Mul 5 cos Pow sqrt Mul x7 x0 x6 Add acsch acosh x0 -1 Add Mul acsch acosh x0 Mul 5 Mul Mul -1 sin Pow sqrt Mul x7 x0 x6 Mul Pow sqrt Mul x7 x0 Add x6 -1 Mul x6 Mul Pow Mul 2 sqrt Mul x7 x0 -1 x7 Mul Mul Mul 5 cos Pow sqrt Mul x7 x0 x6 log Mul 5 cos Pow sqrt Mul x7 x0 x6 Mul Mul -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul acosh x0 acosh x0 sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 -1 