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