Add Mul Pow Mul x0 x0 Pow x0 Mul Add acosh Pow x0 -0.653643620863612 acoth x2 sqrt E x2 x7 
Mul x2 Mul Pow Mul x0 x0 Add Pow x0 Mul Add acosh Pow x0 -0.653643620863612 acoth x2 sqrt E -1 Add Mul Pow x0 Mul Add acosh Pow x0 -0.653643620863612 acoth x2 sqrt E Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow x0 Add Mul Add acosh Pow x0 -0.653643620863612 acoth x2 sqrt E -1 Add Mul Add acosh Pow x0 -0.653643620863612 acoth x2 sqrt E Mul Mul x0 log x0 Mul sqrt E Mul Mul Pow x0 -1.65364362086361 -0.653643620863612 Pow Mul sqrt Add Pow x0 -0.653643620863612 -1 sqrt Add 1 Pow x0 -0.653643620863612 -1 