Mul exp Add x0 3 Mul Mul Mul log x0 Add atanh x5 0.200000000000000 Mul cosh x0 x0 x0 
Add Mul Mul Mul Mul log x0 Add atanh x5 0.200000000000000 Mul cosh x0 x0 x0 exp Add x0 3 Mul exp Add x0 3 Add Mul x0 Add Mul Mul cosh x0 x0 Mul Add atanh x5 0.200000000000000 Pow x0 -1 Mul Mul log x0 Add atanh x5 0.200000000000000 Add Mul x0 sinh x0 cosh x0 Mul Mul log x0 Add atanh x5 0.200000000000000 Mul cosh x0 x0 