log acoth acosh Mul x1 Add Mul x0 acosh Pow Pow x0 x4 -4 cosh Add x4 x3 
Mul Mul Mul Mul x1 Add acosh Pow Pow x0 x4 -4 Mul x0 Mul Mul Pow Pow x0 x4 5 Mul -4 Mul Pow x0 Add x4 -1 x4 Pow Mul sqrt Add Pow Pow x0 x4 -4 -1 sqrt Add 1 Pow Pow x0 x4 -4 -1 Pow Mul sqrt Add Mul x1 Add Mul x0 acosh Pow Pow x0 x4 -4 cosh Add x4 x3 -1 sqrt Add 1 Mul x1 Add Mul x0 acosh Pow Pow x0 x4 -4 cosh Add x4 x3 -1 Pow Add 1 Mul -1 Mul acosh Mul x1 Add Mul x0 acosh Pow Pow x0 x4 -4 cosh Add x4 x3 acosh Mul x1 Add Mul x0 acosh Pow Pow x0 x4 -4 cosh Add x4 x3 -1 Pow acoth acosh Mul x1 Add Mul x0 acosh Pow Pow x0 x4 -4 cosh Add x4 x3 -1 