Add Mul Pow x1 Add Pow x0 Mul -3 Pow sec Mul x0 tan exp x0 x0 x3 sec x0 Add x0 Add x0 asech x0 
Add Add Mul sec x0 Mul Pow x1 Add Add Pow x0 Mul -3 Pow sec Mul x0 tan exp x0 x0 x3 -1 Mul Mul x1 log x1 Mul Pow x0 Add Mul -3 Pow sec Mul x0 tan exp x0 x0 -1 Add Mul -3 Pow sec Mul x0 tan exp x0 x0 Mul Mul x0 log x0 Mul -3 Mul Pow sec Mul x0 tan exp x0 Add x0 -1 Add Mul x0 Mul Mul tan Mul x0 tan exp x0 sec Mul x0 tan exp x0 Add tan exp x0 Mul x0 Mul Pow sec exp x0 2 exp x0 Mul sec Mul x0 tan exp x0 log sec Mul x0 tan exp x0 Mul Pow x1 Add Pow x0 Mul -3 Pow sec Mul x0 tan exp x0 x0 x3 Mul tan x0 sec x0 Add 1 Add 1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 