Add Mul Add x0 Add 3 coth acoth sqrt Add Pow x3 x0 x0 x0 1 
Add Mul x0 Add 1 Mul Mul -1 Pow csch acoth sqrt Add Pow x3 x0 x0 2 Mul Mul Pow Mul 2 sqrt Add Pow x3 x0 x0 -1 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 1 Pow Add 1 Mul -1 Mul sqrt Add Pow x3 x0 x0 sqrt Add Pow x3 x0 x0 -1 Add x0 Add 3 coth acoth sqrt Add Pow x3 x0 x0 