Pow x7 Pow E Pow Mul asinh x0 acot Mul x0 x6 cot x2 
Mul Pow x7 Add Pow E Pow Mul asinh x0 acot Mul x0 x6 cot x2 -1 Mul Mul x7 log x7 Mul Pow E Add Pow Mul asinh x0 acot Mul x0 x6 cot x2 -1 Mul Mul E log E Mul Pow Mul asinh x0 acot Mul x0 x6 Add cot x2 -1 Mul cot x2 Add Mul acot Mul x0 x6 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul -1 Mul x6 Pow Add 1 Mul Mul x0 x6 Mul x0 x6 -1 