Add atanh Mul Add Pow Mul x0 Pow Pow x0 2 cot x3 x0 E atan x7 x0 
Add Mul Mul atan x7 Mul Pow Mul x0 Pow Pow x0 2 cot x3 Add x0 -1 Add Mul x0 Add Pow Pow x0 2 cot x3 Mul x0 Mul Pow Pow x0 2 Add cot x3 -1 Mul cot x3 Mul x0 2 Mul Mul x0 Pow Pow x0 2 cot x3 log Mul x0 Pow Pow x0 2 cot x3 Pow Add 1 Mul -1 Mul Mul Add Pow Mul x0 Pow Pow x0 2 cot x3 x0 E atan x7 Mul Add Pow Mul x0 Pow Pow x0 2 cot x3 x0 E atan x7 -1 1 