Mul Add x0 2 Pow Pow Mul asec x3 pi 3 csc acosh x0 
Add Pow Pow Mul asec x3 pi 3 csc acosh x0 Mul Add x0 2 Mul Pow Pow Mul asec x3 pi 3 Add csc acosh x0 -1 Mul Mul Pow Mul asec x3 pi 3 log Pow Mul asec x3 pi 3 Mul Mul Mul -1 cot acosh x0 csc acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 