Add Add E Mul cosh x3 Mul Add 3 Mul x6 cbrt Mul pi x0 Mul x0 Pow x0 log Mul x0 x6 x0 
Add Mul cosh x3 Add Mul Mul x0 Pow x0 log Mul x0 x6 Mul x6 Mul Pow Mul Mul 3 cbrt Mul pi x0 cbrt Mul pi x0 -1 pi Mul Add 3 Mul x6 cbrt Mul pi x0 Add Pow x0 log Mul x0 x6 Mul x0 Mul Pow x0 Add log Mul x0 x6 -1 Add log Mul x0 x6 Mul Mul x0 log x0 Mul x6 Pow Mul x0 x6 -1 1 