acot log Mul Mul x0 csch Add pi 5 Add 2 x0 
Mul -1 Mul Mul Add Mul Add 2 x0 csch Add pi 5 Mul x0 csch Add pi 5 Pow Mul Mul x0 csch Add pi 5 Add 2 x0 -1 Pow Add 1 Mul log Mul Mul x0 csch Add pi 5 Add 2 x0 log Mul Mul x0 csch Add pi 5 Add 2 x0 -1 