Mul x0 Add Mul Add x0 Mul Add cosh x0 x0 -0.0156250000000000 x5 Pow acsch pi Add x0 -4 
Add Add Mul Add x0 Mul Add cosh x0 x0 -0.0156250000000000 x5 Pow acsch pi Add x0 -4 Mul x0 Add Mul x5 Add 1 Mul -0.0156250000000000 Add sinh x0 1 Mul Pow acsch pi Add Add x0 -4 -1 Mul acsch pi log acsch pi 