Mul acosh sinh Mul Mul x2 sqrt acoth sqrt Mul pi x0 2 Mul x0 x1 
Add Mul Mul x0 x1 Mul Mul cosh Mul Mul x2 sqrt acoth sqrt Mul pi x0 2 Mul 2 Mul x2 Mul Pow Mul 2 sqrt acoth sqrt Mul pi x0 -1 Mul Mul Pow Mul 2 sqrt Mul pi x0 -1 pi Pow Add 1 Mul -1 Mul sqrt Mul pi x0 sqrt Mul pi x0 -1 Pow Mul sqrt Add sinh Mul Mul x2 sqrt acoth sqrt Mul pi x0 2 -1 sqrt Add 1 sinh Mul Mul x2 sqrt acoth sqrt Mul pi x0 2 -1 Mul acosh sinh Mul Mul x2 sqrt acoth sqrt Mul pi x0 2 x1 