Mul acoth asech Mul Mul -3 acoth x0 x0 Pow Pow asinh x0 pi 4 
Add Mul Pow Pow asinh x0 pi 4 Mul Mul Add Mul x0 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul -3 acoth x0 Pow Mul Mul Mul Mul -3 acoth x0 x0 Mul Mul -3 acoth x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul -3 acoth x0 x0 Mul Mul -3 acoth x0 x0 -1 -1 Pow Add 1 Mul -1 Mul asech Mul Mul -3 acoth x0 x0 asech Mul Mul -3 acoth x0 x0 -1 Mul acoth asech Mul Mul -3 acoth x0 x0 Mul Pow Pow asinh x0 pi 3 Mul 4 Mul Pow asinh x0 Add pi -1 Mul pi Pow sqrt Add 1 Mul x0 x0 -1 