Mul x0 Add Add x0 Add Pow asinh acsch sech x2 Mul Add coth x0 -4 -2 coth x7 Add pi x3 
Add Add Add x0 Add Pow asinh acsch sech x2 Mul Add coth x0 -4 -2 coth x7 Add pi x3 Mul x0 Add 1 Mul Pow asinh acsch sech x2 Add Mul Add coth x0 -4 -2 -1 Mul Mul asinh acsch sech x2 log asinh acsch sech x2 Mul -2 Mul -1 Pow csch x0 2 