Pow cosh Pow atanh x0 Pow x7 x4 Add 3 Mul pi x0 
Mul Pow cosh Pow atanh x0 Pow x7 x4 Add Add 3 Mul pi x0 -1 Add Mul Add 3 Mul pi x0 Mul sinh Pow atanh x0 Pow x7 x4 Mul Pow atanh x0 Add Pow x7 x4 -1 Mul Pow x7 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul cosh Pow atanh x0 Pow x7 x4 log cosh Pow atanh x0 Pow x7 x4 pi 