Add exp Add 1.25992104989487 Pow Add cosh x0 x0 x0 tan Mul Add -2 Mul x0 x7 Mul Mul 3 x0 pi 
Add Mul exp Add 1.25992104989487 Pow Add cosh x0 x0 x0 Mul Pow Add cosh x0 x0 Add x0 -1 Add Mul x0 Add sinh x0 1 Mul Add cosh x0 x0 log Add cosh x0 x0 Mul Pow sec Mul Add -2 Mul x0 x7 Mul Mul 3 x0 pi 2 Add Mul Mul Mul 3 x0 pi x7 Mul Add -2 Mul x0 x7 Mul pi 3 