Add x7 Pow Add cos x4 asech Add x0 2 Pow Mul x0 3 asin Mul atan x0 Add x0 acosh x6 
Mul Pow Add cos x4 asech Add x0 2 Add Pow Mul x0 3 asin Mul atan x0 Add x0 acosh x6 -1 Add Mul Pow Mul x0 3 asin Mul atan x0 Add x0 acosh x6 Pow Mul Mul Add x0 2 Add x0 2 sqrt Add 1 Mul -1 Pow Mul Add x0 2 Add x0 2 -1 -1 Mul Mul Add cos x4 asech Add x0 2 log Add cos x4 asech Add x0 2 Mul Pow Mul x0 3 Add asin Mul atan x0 Add x0 acosh x6 -1 Add Mul asin Mul atan x0 Add x0 acosh x6 3 Mul Mul Mul x0 3 log Mul x0 3 Mul Add Mul Add x0 acosh x6 Pow Add 1 Mul x0 x0 -1 atan x0 Pow sqrt Add 1 Mul -1 Mul Mul atan x0 Add x0 acosh x6 Mul atan x0 Add x0 acosh x6 -1 