Mul x0 Pow Add atan Add Add sinh x0 x0 atanh Pow Add x0 x0 Add x0 E 3 exp Mul x0 4 
Add Pow Add atan Add Add sinh x0 x0 atanh Pow Add x0 x0 Add x0 E 3 exp Mul x0 4 Mul x0 Mul Pow Add atan Add Add sinh x0 x0 atanh Pow Add x0 x0 Add x0 E 3 Add exp Mul x0 4 -1 Add Mul exp Mul x0 4 Mul Add Add cosh x0 1 Mul Mul Pow Add x0 x0 Add Add x0 E -1 Add Mul Add x0 E 2 Mul Add x0 x0 log Add x0 x0 Pow Add 1 Mul -1 Mul Pow Add x0 x0 Add x0 E Pow Add x0 x0 Add x0 E -1 Pow Add 1 Mul Add Add sinh x0 x0 atanh Pow Add x0 x0 Add x0 E Add Add sinh x0 x0 atanh Pow Add x0 x0 Add x0 E -1 Mul Mul Add atan Add Add sinh x0 x0 atanh Pow Add x0 x0 Add x0 E 3 log Add atan Add Add sinh x0 x0 atanh Pow Add x0 x0 Add x0 E 3 Mul exp Mul x0 4 4 