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