Mul acosh x0 asec acsc Pow x7 csc Add x0 pi 
Add Mul asec acsc Pow x7 csc Add x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul -1 Mul Mul Pow x7 Add csc Add x0 pi -1 Mul Mul x7 log x7 Mul Mul -1 cot Add x0 pi csc Add x0 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x7 csc Add x0 pi Pow x7 csc Add x0 pi -1 Pow x7 csc Add x0 pi Pow x7 csc Add x0 pi -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsc Pow x7 csc Add x0 pi acsc Pow x7 csc Add x0 pi -1 acsc Pow x7 csc Add x0 pi acsc Pow x7 csc Add x0 pi -1 