atanh Mul Add x7 csch exp Add x0 Pow acos Pow x4 x0 Add x3 x0 x0 
Mul Add Mul x0 Mul Mul Mul -1 coth exp Add x0 Pow acos Pow x4 x0 Add x3 x0 csch exp Add x0 Pow acos Pow x4 x0 Add x3 x0 Mul exp Add x0 Pow acos Pow x4 x0 Add x3 x0 Add 1 Mul Pow acos Pow x4 x0 Add Add x3 x0 -1 Add Mul Add x3 x0 Mul -1 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow sqrt Add 1 Mul -1 Mul Pow x4 x0 Pow x4 x0 -1 Mul acos Pow x4 x0 log acos Pow x4 x0 Add x7 csch exp Add x0 Pow acos Pow x4 x0 Add x3 x0 Pow Add 1 Mul -1 Mul Mul Add x7 csch exp Add x0 Pow acos Pow x4 x0 Add x3 x0 x0 Mul Add x7 csch exp Add x0 Pow acos Pow x4 x0 Add x3 x0 x0 -1 