Mul x0 atanh cos Mul Pow atanh x6 Mul x0 asin Add x0 E 5 
Add atanh cos Mul Pow atanh x6 Mul x0 asin Add x0 E 5 Mul x0 Mul Mul Mul -1 sin Mul Pow atanh x6 Mul x0 asin Add x0 E 5 Mul 5 Mul Pow atanh x6 Add Mul x0 asin Add x0 E -1 Mul Mul atanh x6 log atanh x6 Add asin Add x0 E Mul x0 Pow sqrt Add 1 Mul -1 Mul Add x0 E Add x0 E -1 Pow Add 1 Mul -1 Mul cos Mul Pow atanh x6 Mul x0 asin Add x0 E 5 cos Mul Pow atanh x6 Mul x0 asin Add x0 E 5 -1 