Mul x0 Mul coth x0 Pow cosh atan Mul x0 Pow Add 3 acoth pi x0 -4 
Add Mul coth x0 Pow cosh atan Mul x0 Pow Add 3 acoth pi x0 -4 Mul x0 Add Mul Pow cosh atan Mul x0 Pow Add 3 acoth pi x0 -4 Mul -1 Pow csch x0 2 Mul coth x0 Mul Pow cosh atan Mul x0 Pow Add 3 acoth pi x0 5 Mul -4 Mul sinh atan Mul x0 Pow Add 3 acoth pi x0 Mul Add Pow Add 3 acoth pi x0 Mul x0 Mul Pow Add 3 acoth pi Add x0 -1 Mul Add 3 acoth pi log Add 3 acoth pi Pow Add 1 Mul Mul x0 Pow Add 3 acoth pi x0 Mul x0 Pow Add 3 acoth pi x0 -1 