Pow cos Mul x0 x0 asinh sec exp Mul Add 1 x3 x0 
Mul Pow cos Mul x0 x0 Add asinh sec exp Mul Add 1 x3 x0 -1 Add Mul asinh sec exp Mul Add 1 x3 x0 Mul Mul -1 sin Mul x0 x0 Add x0 x0 Mul Mul cos Mul x0 x0 log cos Mul x0 x0 Mul Mul Mul tan exp Mul Add 1 x3 x0 sec exp Mul Add 1 x3 x0 Mul exp Mul Add 1 x3 x0 Add 1 x3 Pow sqrt Add 1 Mul sec exp Mul Add 1 x3 x0 sec exp Mul Add 1 x3 x0 -1 