Add Pow Mul cos x4 Add Mul Add x0 x0 x2 Mul Mul x0 E atanh exp x5 Pow acot E x0 x0 
Add Mul Pow Mul cos x4 Add Mul Add x0 x0 x2 Mul Mul x0 E atanh exp x5 Add Pow acot E x0 -1 Add Mul Pow acot E x0 Mul cos x4 Add Mul x2 2 Mul atanh exp x5 E Mul Mul Mul cos x4 Add Mul Add x0 x0 x2 Mul Mul x0 E atanh exp x5 log Mul cos x4 Add Mul Add x0 x0 x2 Mul Mul x0 E atanh exp x5 Mul Pow acot E Add x0 -1 Mul acot E log acot E 1 