Add Pow Mul acoth x0 csch Add Mul -4 csc x2 coth log Add x0 Mul x6 x7 x3 asinh x0 
Add Mul Pow Mul acoth x0 csch Add Mul -4 csc x2 coth log Add x0 Mul x6 x7 Add x3 -1 Mul x3 Add Mul csch Add Mul -4 csc x2 coth log Add x0 Mul x6 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Mul Mul -1 coth Add Mul -4 csc x2 coth log Add x0 Mul x6 x7 csch Add Mul -4 csc x2 coth log Add x0 Mul x6 x7 Mul Mul -1 Pow csch log Add x0 Mul x6 x7 2 Pow Add x0 Mul x6 x7 -1 Pow sqrt Add 1 Mul x0 x0 -1 