Pow Mul 0.0312500000000000 Mul exp Add sinh x0 x0 log pi x6 
Mul Pow Mul 0.0312500000000000 Mul exp Add sinh x0 x0 log pi Add x6 -1 Mul x6 Mul 0.0312500000000000 Mul log pi Mul exp Add sinh x0 x0 Add cosh x0 1 