exp Mul x0 acosh atan Pow Pow x0 cosh x6 Add 3 atanh x0 
Mul exp Mul x0 acosh atan Pow Pow x0 cosh x6 Add 3 atanh x0 Add acosh atan Pow Pow x0 cosh x6 Add 3 atanh x0 Mul x0 Mul Mul Mul Pow Pow x0 cosh x6 Add Add 3 atanh x0 -1 Add Mul Add 3 atanh x0 Mul Pow x0 Add cosh x6 -1 cosh x6 Mul Mul Pow x0 cosh x6 log Pow x0 cosh x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Pow x0 cosh x6 Add 3 atanh x0 Pow Pow x0 cosh x6 Add 3 atanh x0 -1 Pow Mul sqrt Add atan Pow Pow x0 cosh x6 Add 3 atanh x0 -1 sqrt Add 1 atan Pow Pow x0 cosh x6 Add 3 atanh x0 -1 