Add Mul asech Pow Add Mul pi coth acosh x0 x0 x0 Add -0.850918128239322 Mul -2.00000000000000 x0 -3 
Add Mul Add -0.850918128239322 Mul -2.00000000000000 x0 Mul Mul Pow Add Mul pi coth acosh x0 x0 Add x0 -1 Add Mul x0 Add Mul pi Mul Mul -1 Pow csch acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Add Mul pi coth acosh x0 x0 log Add Mul pi coth acosh x0 x0 Pow Mul Mul Pow Add Mul pi coth acosh x0 x0 x0 Pow Add Mul pi coth acosh x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow Add Mul pi coth acosh x0 x0 x0 Pow Add Mul pi coth acosh x0 x0 x0 -1 -1 Mul asech Pow Add Mul pi coth acosh x0 x0 x0 -2.00000000000000 