Add Pow exp Add cosh x0 Add Pow Add Mul x0 x0 E -5 1 pi Pow Add x0 x0 x0 
Add Mul Pow exp Add cosh x0 Add Pow Add Mul x0 x0 E -5 1 Add pi -1 Mul pi Mul exp Add cosh x0 Add Pow Add Mul x0 x0 E -5 1 Add sinh x0 Mul Pow Add Mul x0 x0 E 6 Mul -5 Add x0 x0 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 