Mul acos E acosh Mul x6 Pow Mul x7 Add Pow x0 coth E x0 Pow Add Add 2 x0 log pi 4 
Mul acos E Mul Mul x6 Mul Pow Mul x7 Add Pow x0 coth E x0 Add Pow Add Add 2 x0 log pi 4 -1 Add Mul Pow Add Add 2 x0 log pi 4 Mul x7 Add Mul Pow x0 Add coth E -1 coth E 1 Mul Mul Mul x7 Add Pow x0 coth E x0 log Mul x7 Add Pow x0 coth E x0 Mul Pow Add Add 2 x0 log pi 3 4 Pow Mul sqrt Add Mul x6 Pow Mul x7 Add Pow x0 coth E x0 Pow Add Add 2 x0 log pi 4 -1 sqrt Add 1 Mul x6 Pow Mul x7 Add Pow x0 coth E x0 Pow Add Add 2 x0 log pi 4 -1 