Mul csch acot x3 Mul Add x5 Add Mul Pow x0 -2 x0 Add x4 acosh Mul x2 x0 Mul x0 x1 
Mul csch acot x3 Add Mul Mul x0 x1 Add Add Mul x0 Mul Pow x0 3 -2 Pow x0 -2 Mul x2 Pow Mul sqrt Add Mul x2 x0 -1 sqrt Add 1 Mul x2 x0 -1 Mul Add x5 Add Mul Pow x0 -2 x0 Add x4 acosh Mul x2 x0 x1 