Mul Add Pow Mul x3 acos Mul x0 -2 csch Add pi x0 Mul Add 4 Pow log acot x0 x0 -2 x4 
Mul x4 Add Mul Pow Mul x3 acos Mul x0 -2 Add csch Add pi x0 -1 Add Mul csch Add pi x0 Mul x3 Mul -1 Mul -2 Pow sqrt Add 1 Mul -1 Mul Mul x0 -2 Mul x0 -2 -1 Mul Mul Mul x3 acos Mul x0 -2 log Mul x3 acos Mul x0 -2 Mul Mul -1 coth Add pi x0 csch Add pi x0 Mul -2 Mul Pow log acot x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 Mul log acot x0 log log acot x0 