Add x2 Add Pow cosh Mul acsch Mul Add pi -4 x0 -4 -5 x0 
Add Mul Pow cosh Mul acsch Mul Add pi -4 x0 -4 6 Mul -5 Mul sinh Mul acsch Mul Add pi -4 x0 -4 Mul -4 Mul Mul -1 Add pi -4 Pow Mul Mul Mul Add pi -4 x0 Mul Add pi -4 x0 sqrt Add 1 Mul -1 Pow Mul Mul Add pi -4 x0 Mul Add pi -4 x0 -1 -1 1 