Add Add 4 Mul Mul asech Add x0 Mul x7 -4 2 atanh exp cos x0 Pow x0 x1 
Add Add Mul atanh exp cos x0 Mul 2 Pow Mul Mul Add x0 Mul x7 -4 Add x0 Mul x7 -4 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul x7 -4 Add x0 Mul x7 -4 -1 -1 Mul Mul asech Add x0 Mul x7 -4 2 Mul Mul exp cos x0 Mul -1 sin x0 Pow Add 1 Mul -1 Mul exp cos x0 exp cos x0 -1 Mul Pow x0 Add x1 -1 x1 