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