Add x0 Add 5 Pow Add Mul -5 csch acot Pow x0 0.850918128239322 Mul x2 -4 Add x0 x0 
Add 1 Mul Pow Add Mul -5 csch acot Pow x0 0.850918128239322 Mul x2 -4 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul -5 Mul Mul Mul -1 coth acot Pow x0 0.850918128239322 csch acot Pow x0 0.850918128239322 Mul -1 Mul Mul Pow x0 -0.149081871760678 0.850918128239322 Pow Add 1 Mul Pow x0 0.850918128239322 Pow x0 0.850918128239322 -1 Mul Mul Add Mul -5 csch acot Pow x0 0.850918128239322 Mul x2 -4 log Add Mul -5 csch acot Pow x0 0.850918128239322 Mul x2 -4 2 