Mul Mul acosh x0 Add Add Pow x0 -5 Pow 0.0464402786487766 pi acot Pow tan x2 x1 x3 
Mul x3 Add Mul Add Add Pow x0 -5 Pow 0.0464402786487766 pi acot Pow tan x2 x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow x0 6 -5 