Pow Add x0 x0 exp Add acosh Mul asech Pow x4 Mul x4 Add Pow acoth x0 -4 2 x0 x3 
Mul Pow Add x0 x0 Add exp Add acosh Mul asech Pow x4 Mul x4 Add Pow acoth x0 -4 2 x0 x3 -1 Add Mul exp Add acosh Mul asech Pow x4 Mul x4 Add Pow acoth x0 -4 2 x0 x3 2 Mul Mul Add x0 x0 log Add x0 x0 Mul exp Add acosh Mul asech Pow x4 Mul x4 Add Pow acoth x0 -4 2 x0 x3 Mul Add Mul x0 Mul Mul Pow x4 Add Mul x4 Add Pow acoth x0 -4 2 -1 Mul Mul x4 log x4 Mul x4 Mul Pow acoth x0 5 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow x4 Mul x4 Add Pow acoth x0 -4 2 Pow x4 Mul x4 Add Pow acoth x0 -4 2 sqrt Add 1 Mul -1 Pow Mul Pow x4 Mul x4 Add Pow acoth x0 -4 2 Pow x4 Mul x4 Add Pow acoth x0 -4 2 -1 -1 asech Pow x4 Mul x4 Add Pow acoth x0 -4 2 Pow Mul sqrt Add Mul asech Pow x4 Mul x4 Add Pow acoth x0 -4 2 x0 -1 sqrt Add 1 Mul asech Pow x4 Mul x4 Add Pow acoth x0 -4 2 x0 -1 