Mul x0 Mul x3 Mul x4 Mul log Pow Add pi x0 Mul x5 2 acoth x0 
Add Mul x3 Mul x4 Mul log Pow Add pi x0 Mul x5 2 acoth x0 Mul x0 Mul x3 Mul x4 Add Mul acoth x0 Mul Mul Pow Add pi x0 Add Mul x5 2 -1 Mul x5 2 Pow Pow Add pi x0 Mul x5 2 -1 Mul log Pow Add pi x0 Mul x5 2 Pow Add 1 Mul -1 Mul x0 x0 -1 