Add Mul asinh x0 Add 4 x3 exp Pow Mul -3 asech asec x7 x0 
Add Mul Add 4 x3 Pow sqrt Add 1 Mul x0 x0 -1 Mul exp Pow Mul -3 asech asec x7 x0 Mul Pow Mul -3 asech asec x7 Add x0 -1 Mul Mul -3 asech asec x7 log Mul -3 asech asec x7 