atanh cot Add Mul -4 Add pi Pow x7 Pow x5 Add 2 x0 x6 
Mul Mul Mul -1 Pow csc Add Mul -4 Add pi Pow x7 Pow x5 Add 2 x0 x6 2 Mul -4 Mul Pow x7 Add Pow x5 Add 2 x0 -1 Mul Mul x7 log x7 Mul Pow x5 Add Add 2 x0 -1 Mul x5 log x5 Pow Add 1 Mul -1 Mul cot Add Mul -4 Add pi Pow x7 Pow x5 Add 2 x0 x6 cot Add Mul -4 Add pi Pow x7 Pow x5 Add 2 x0 x6 -1 