Mul Pow Add cos x0 Pow Add Mul x0 atanh x0 Pow x7 Add x0 acosh Add x0 x0 E 2 2 
Mul 2 Mul Add cos x0 Pow Add Mul x0 atanh x0 Pow x7 Add x0 acosh Add x0 x0 E Mul 2 Add Mul -1 sin x0 Mul Pow Add Mul x0 atanh x0 Pow x7 Add x0 acosh Add x0 x0 Add E -1 Mul E Add Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x7 Add Add x0 acosh Add x0 x0 -1 Mul Mul x7 log x7 Add 1 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 