atanh Add Add cot atan x0 Pow Mul x0 -2 -1 Mul x0 x7 
Mul Add Add Mul Mul -1 Pow csc atan x0 2 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul x0 -2 2 3 x7 Pow Add 1 Mul -1 Mul Add Add cot atan x0 Pow Mul x0 -2 -1 Mul x0 x7 Add Add cot atan x0 Pow Mul x0 -2 -1 Mul x0 x7 -1 