Pow tan Mul x0 -0.999329299739067 Add Mul x0 x0 asech x1 
Mul Pow tan Mul x0 -0.999329299739067 Add Add Mul x0 x0 asech x1 -1 Add Mul Add Mul x0 x0 asech x1 Mul Pow sec Mul x0 -0.999329299739067 2 -0.999329299739067 Mul Mul tan Mul x0 -0.999329299739067 log tan Mul x0 -0.999329299739067 Add x0 x0 