Add cosh x1 Mul x0 Add Add Mul 4 Mul x0 Mul 4 Pow Add pi x6 Mul x0 Pow exp x6 x0 x2 x0 
Add Add Add Mul 4 Mul x0 Mul 4 Pow Add pi x6 Mul x0 Pow exp x6 x0 x2 x0 Mul x0 Add Mul 4 Add Mul 4 Pow Add pi x6 Mul x0 Pow exp x6 x0 Mul x0 Mul 4 Mul Pow Add pi x6 Add Mul x0 Pow exp x6 x0 -1 Mul Mul Add pi x6 log Add pi x6 Add Pow exp x6 x0 Mul x0 Mul Pow exp x6 Add x0 -1 Mul exp x6 log exp x6 1 