Pow Mul E x1 Add acoth csch Add pi 1 acoth acos Mul x0 4 
Mul Pow Mul E x1 Add Add acoth csch Add pi 1 acoth acos Mul x0 4 -1 Mul Mul Mul E x1 log Mul E x1 Mul Mul -1 Mul 4 Pow sqrt Add 1 Mul -1 Mul Mul x0 4 Mul x0 4 -1 Pow Add 1 Mul -1 Mul acos Mul x0 4 acos Mul x0 4 -1 