Mul Pow asech x0 2 Add x5 Mul Mul Mul Mul exp E x0 9 Mul acsch x0 x7 4 
Add Mul Add x5 Mul Mul Mul Mul exp E x0 9 Mul acsch x0 x7 4 Mul asech x0 Mul 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow asech x0 2 Mul 4 Add Mul Mul acsch x0 x7 Mul 9 exp E Mul Mul Mul exp E x0 9 Mul x7 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 