acosh Add Mul x0 Mul Mul Add Mul Mul x0 -5 3 sqrt pi Mul x0 2 acoth x5 x0 
Mul Add Add Mul Mul Add Mul Mul x0 -5 3 sqrt pi Mul x0 2 acoth x5 Mul x0 Mul acoth x5 Add Mul Mul x0 2 2 Mul Add Mul Mul x0 -5 3 sqrt pi 2 1 Pow Mul sqrt Add Add Mul x0 Mul Mul Add Mul Mul x0 -5 3 sqrt pi Mul x0 2 acoth x5 x0 -1 sqrt Add 1 Add Mul x0 Mul Mul Add Mul Mul x0 -5 3 sqrt pi Mul x0 2 acoth x5 x0 -1 