Pow Mul atan Add cos Add x0 acot Pow Mul Add x0 pi acosh x0 x5 pi pi Add Add 5 x7 -4 
Mul Pow Mul atan Add cos Add x0 acot Pow Mul Add x0 pi acosh x0 x5 pi pi Add Add Add 5 x7 -4 -1 Mul Add Add 5 x7 -4 Mul pi Mul Mul Mul -1 sin Add x0 acot Pow Mul Add x0 pi acosh x0 x5 Add 1 Mul -1 Mul Mul Pow Mul Add x0 pi acosh x0 Add x5 -1 Mul x5 Add acosh x0 Mul Add x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Pow Mul Add x0 pi acosh x0 x5 Pow Mul Add x0 pi acosh x0 x5 -1 Pow Add 1 Mul Add cos Add x0 acot Pow Mul Add x0 pi acosh x0 x5 pi Add cos Add x0 acot Pow Mul Add x0 pi acosh x0 x5 pi -1 