Mul x0 Pow exp coth Add x0 Mul x0 csch acos Mul x0 Pow x3 x1 Add Add atanh x0 cbrt x5 x0 
Add Pow exp coth Add x0 Mul x0 csch acos Mul x0 Pow x3 x1 Add Add atanh x0 cbrt x5 x0 Mul x0 Mul Pow exp coth Add x0 Mul x0 csch acos Mul x0 Pow x3 x1 Add Add Add atanh x0 cbrt x5 x0 -1 Add Mul Add Add atanh x0 cbrt x5 x0 Mul exp coth Add x0 Mul x0 csch acos Mul x0 Pow x3 x1 Mul Mul -1 Pow csch Add x0 Mul x0 csch acos Mul x0 Pow x3 x1 2 Add 1 Add csch acos Mul x0 Pow x3 x1 Mul x0 Mul Mul Mul -1 coth acos Mul x0 Pow x3 x1 csch acos Mul x0 Pow x3 x1 Mul -1 Mul Pow x3 x1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow x3 x1 Mul x0 Pow x3 x1 -1 Mul Mul exp coth Add x0 Mul x0 csch acos Mul x0 Pow x3 x1 log exp coth Add x0 Mul x0 csch acos Mul x0 Pow x3 x1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 