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