Mul cot x7 Pow Mul Add cot acosh Mul Add atan x0 x0 Mul E 2 Pow Pow x0 pi x4 atanh Mul x0 x0 -4 
Mul cot x7 Mul Pow Mul Add cot acosh Mul Add atan x0 x0 Mul E 2 Pow Pow x0 pi x4 atanh Mul x0 x0 5 Mul -4 Add Mul atanh Mul x0 x0 Add Mul Mul -1 Pow csc acosh Mul Add atan x0 x0 Mul E 2 2 Mul Mul Mul E 2 Add Pow Add 1 Mul x0 x0 -1 1 Pow Mul sqrt Add Mul Add atan x0 x0 Mul E 2 -1 sqrt Add 1 Mul Add atan x0 x0 Mul E 2 -1 Mul Pow Pow x0 pi Add x4 -1 Mul x4 Mul Pow x0 Add pi -1 pi Mul Add cot acosh Mul Add atan x0 x0 Mul E 2 Pow Pow x0 pi x4 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 