Add Pow Pow acos csch Add 1 x3 coth acot x0 5 Add Add x0 Add Add 7 x0 x2 x7 
Add Mul Pow Pow acos csch Add 1 x3 coth acot x0 4 Mul 5 Mul Pow acos csch Add 1 x3 Add coth acot x0 -1 Mul Mul acos csch Add 1 x3 log acos csch Add 1 x3 Mul Mul -1 Pow csch acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 2 