Add Pow acosh atan Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 x0 x7 
Mul Pow acosh atan Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 Add x0 -1 Add Mul x0 Mul Mul Mul Pow x0 Add Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 -1 Add Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 Mul Mul x0 log x0 Mul acoth x7 Mul Pow Mul Pow pi x7 x0 1.71828182845905 Mul 2.71828182845905 Pow pi x7 Pow Add 1 Mul Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 -1 Pow Mul sqrt Add atan Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 -1 sqrt Add 1 atan Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 -1 Mul acosh atan Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 log acosh atan Pow x0 Mul Pow Mul Pow pi x7 x0 2.71828182845905 acoth x7 