Mul Add -2 sinh Pow acsch Mul log Mul atan x0 Mul pi Add x0 x3 x0 -1 x7 
Mul x7 Mul cosh Pow acsch Mul log Mul atan x0 Mul pi Add x0 x3 x0 -1 Mul Pow acsch Mul log Mul atan x0 Mul pi Add x0 x3 x0 2 Mul -1 Mul Mul -1 Add Mul x0 Mul Add Mul Mul pi Add x0 x3 Pow Add 1 Mul x0 x0 -1 Mul atan x0 pi Pow Mul atan x0 Mul pi Add x0 x3 -1 log Mul atan x0 Mul pi Add x0 x3 Pow Mul Mul Mul log Mul atan x0 Mul pi Add x0 x3 x0 Mul log Mul atan x0 Mul pi Add x0 x3 x0 sqrt Add 1 Mul -1 Pow Mul Mul log Mul atan x0 Mul pi Add x0 x3 x0 Mul log Mul atan x0 Mul pi Add x0 x3 x0 -1 -1 