Add Pow x1 Add Pow Mul x0 pi 1.31303528549933 Mul x0 x0 cosh x4 
Mul Pow x1 Add Add Pow Mul x0 pi 1.31303528549933 Mul x0 x0 -1 Mul Mul x1 log x1 Add Mul Pow Mul x0 pi 0.313035285499331 Mul 1.31303528549933 pi Add x0 x0 