Mul x2 Pow atanh x2 Pow Add Pow log Mul cosh E Add Mul Add x0 E x0 4 x0 Mul x4 4 3 
Mul x2 Mul Pow atanh x2 Add Pow Add Pow log Mul cosh E Add Mul Add x0 E x0 4 x0 Mul x4 4 3 -1 Mul Mul atanh x2 log atanh x2 Mul Pow Add Pow log Mul cosh E Add Mul Add x0 E x0 4 x0 Mul x4 4 2 Mul 3 Mul Pow log Mul cosh E Add Mul Add x0 E x0 4 Add x0 -1 Add Mul x0 Mul Mul cosh E Add x0 Add x0 E Pow Mul cosh E Add Mul Add x0 E x0 4 -1 Mul log Mul cosh E Add Mul Add x0 E x0 4 log log Mul cosh E Add Mul Add x0 E x0 4 