asec Mul Mul Mul x5 x3 Pow acosh x0 Add x0 x0 sqrt Add acsc acosh x2 pi 
Mul Mul sqrt Add acsc acosh x2 pi Mul Mul x5 x3 Mul Pow acosh x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul Mul x5 x3 Pow acosh x0 Add x0 x0 sqrt Add acsc acosh x2 pi Mul Mul Mul x5 x3 Pow acosh x0 Add x0 x0 sqrt Add acsc acosh x2 pi -1 Mul Mul Mul x5 x3 Pow acosh x0 Add x0 x0 sqrt Add acsc acosh x2 pi Mul Mul Mul x5 x3 Pow acosh x0 Add x0 x0 sqrt Add acsc acosh x2 pi -1 