acosh Mul x0 Pow x0 Mul sech acsch x5 acoth pi 
Mul Add Pow x0 Mul sech acsch x5 acoth pi Mul x0 Mul Pow x0 Add Mul sech acsch x5 acoth pi -1 Mul sech acsch x5 acoth pi Pow Mul sqrt Add Mul x0 Pow x0 Mul sech acsch x5 acoth pi -1 sqrt Add 1 Mul x0 Pow x0 Mul sech acsch x5 acoth pi -1 