atan Mul Add coth Mul Add Mul x3 Mul -1 x1 x0 acos Add E x0 1 -2 
Mul Mul -2 Mul Mul -1 Pow csch Mul Add Mul x3 Mul -1 x1 x0 acos Add E x0 2 Add acos Add E x0 Mul Add Mul x3 Mul -1 x1 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add E x0 Add E x0 -1 Pow Add 1 Mul Mul Add coth Mul Add Mul x3 Mul -1 x1 x0 acos Add E x0 1 -2 Mul Add coth Mul Add Mul x3 Mul -1 x1 x0 acos Add E x0 1 -2 -1 