Add Mul csc x0 x0 Add Add x0 -4 Pow acosh Add asin x0 x6 acot acosh pi 
Add Add Mul x0 Mul Mul -1 cot x0 csc x0 csc x0 Add 1 Mul Pow acosh Add asin x0 x6 Add acot acosh pi -1 Mul acot acosh pi Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Add asin x0 x6 -1 sqrt Add 1 Add asin x0 x6 -1 