Pow Pow x4 x0 Mul Pow x0 Add x3 sqrt pi Mul Mul x0 x3 asinh sec x0 
Mul Pow Pow x4 x0 Add Mul Pow x0 Add x3 sqrt pi Mul Mul x0 x3 asinh sec x0 -1 Add Mul Mul Pow x0 Add x3 sqrt pi Mul Mul x0 x3 asinh sec x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow x4 x0 log Pow x4 x0 Add Mul Mul Mul x0 x3 asinh sec x0 Mul Pow x0 Add Add x3 sqrt pi -1 Add x3 sqrt pi Mul Pow x0 Add x3 sqrt pi Add Mul asinh sec x0 x3 Mul Mul x0 x3 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul sec x0 sec x0 -1 