Mul x0 Mul Add Mul Mul x0 x0 Pow acoth Pow Add Mul x0 Pow x0 cot E x0 3 atanh Mul x0 x0 -4 acoth pi 
Add Mul Add Mul Mul x0 x0 Pow acoth Pow Add Mul x0 Pow x0 cot E x0 3 atanh Mul x0 x0 -4 acoth pi Mul x0 Mul acoth pi Add Mul Pow acoth Pow Add Mul x0 Pow x0 cot E x0 3 atanh Mul x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Pow acoth Pow Add Mul x0 Pow x0 cot E x0 3 Add atanh Mul x0 x0 -1 Add Mul atanh Mul x0 x0 Mul Mul Pow Add Mul x0 Pow x0 cot E x0 2 Mul 3 Add Add Pow x0 cot E Mul x0 Mul Pow x0 Add cot E -1 cot E 1 Pow Add 1 Mul -1 Mul Pow Add Mul x0 Pow x0 cot E x0 3 Pow Add Mul x0 Pow x0 cot E x0 3 -1 Mul Mul acoth Pow Add Mul x0 Pow x0 cot E x0 3 log acoth Pow Add Mul x0 Pow x0 cot E x0 3 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 