coth atan Pow Add pi Mul x0 3 Pow x0 csch cot x3 
Mul Mul -1 Pow csch atan Pow Add pi Mul x0 3 Pow x0 csch cot x3 2 Mul Mul Pow Add pi Mul x0 3 Add Pow x0 csch cot x3 -1 Add Mul Pow x0 csch cot x3 3 Mul Mul Add pi Mul x0 3 log Add pi Mul x0 3 Mul Pow x0 Add csch cot x3 -1 csch cot x3 Pow Add 1 Mul Pow Add pi Mul x0 3 Pow x0 csch cot x3 Pow Add pi Mul x0 3 Pow x0 csch cot x3 -1 