Pow x7 Pow Mul x0 cot atan acsch sqrt x0 Pow x5 Add pi pi 
Mul Pow x7 Add Pow Mul x0 cot atan acsch sqrt x0 Pow x5 Add pi pi -1 Mul Mul x7 log x7 Mul Pow Mul x0 cot atan acsch sqrt x0 Add Pow x5 Add pi pi -1 Mul Pow x5 Add pi pi Add cot atan acsch sqrt x0 Mul x0 Mul Mul -1 Pow csc atan acsch sqrt x0 2 Mul Mul Mul -1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Pow Add 1 Mul acsch sqrt x0 acsch sqrt x0 -1 