Mul x3 Mul Add acoth x2 x0 Add Mul Pow Mul x2 Pow x3 x0 asech x1 3 atanh x1 
Mul x3 Add Add Mul Pow Mul x2 Pow x3 x0 asech x1 3 atanh x1 Mul Add acoth x2 x0 Mul 3 Mul Pow Mul x2 Pow x3 x0 Add asech x1 -1 Mul asech x1 Mul x2 Mul Pow x3 Add x0 -1 Mul x3 log x3 