Pow atanh x0 Mul sqrt x0 Mul Add cot Mul x0 2 -1 x5 
Mul Pow atanh x0 Add Mul sqrt x0 Mul Add cot Mul x0 2 -1 x5 -1 Add Mul Mul sqrt x0 Mul Add cot Mul x0 2 -1 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Add Mul Mul Add cot Mul x0 2 -1 x5 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul x5 Mul Mul -1 Pow csc Mul x0 2 2 2 