Mul sec Mul x0 Add Add 2 asin x7 Mul x0 x0 sech x0 
Add Mul sech x0 Mul Mul tan Mul x0 Add Add 2 asin x7 Mul x0 x0 sec Mul x0 Add Add 2 asin x7 Mul x0 x0 Add Add Add 2 asin x7 Mul x0 x0 Mul x0 Add x0 x0 Mul sec Mul x0 Add Add 2 asin x7 Mul x0 x0 Mul tanh x0 Mul -1 sech x0 