Mul x4 atanh acos Add Add 2 x0 Mul Pow Pow x0 acosh Add acoth x0 x0 1.03731472072755 5 
Mul x4 Mul Mul -1 Mul Add 1 Mul 5 Mul Pow Pow x0 acosh Add acoth x0 x0 0.0373147207275482 Mul 1.03731472072755 Mul Pow x0 Add acosh Add acoth x0 x0 -1 Add acosh Add acoth x0 x0 Mul Mul x0 log x0 Mul Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul sqrt Add Add acoth x0 x0 -1 sqrt Add 1 Add acoth x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Add 2 x0 Mul Pow Pow x0 acosh Add acoth x0 x0 1.03731472072755 5 Add Add 2 x0 Mul Pow Pow x0 acosh Add acoth x0 x0 1.03731472072755 5 -1 Pow Add 1 Mul -1 Mul acos Add Add 2 x0 Mul Pow Pow x0 acosh Add acoth x0 x0 1.03731472072755 5 acos Add Add 2 x0 Mul Pow Pow x0 acosh Add acoth x0 x0 1.03731472072755 5 -1 