Mul x0 cot acosh Pow Add Mul -4 x0 4 x0 
Add cot acosh Pow Add Mul -4 x0 4 x0 Mul x0 Mul Mul -1 Pow csc acosh Pow Add Mul -4 x0 4 x0 2 Mul Mul Pow Add Mul -4 x0 4 Add x0 -1 Add Mul x0 -4 Mul Add Mul -4 x0 4 log Add Mul -4 x0 4 Pow Mul sqrt Add Pow Add Mul -4 x0 4 x0 -1 sqrt Add 1 Pow Add Mul -4 x0 4 x0 -1 