Add x0 Add Add -3 sqrt Pow tan sqrt x5 asinh x0 x0 
Add 1 Add Mul Pow Mul 2 sqrt Pow tan sqrt x5 asinh x0 -1 Mul Pow tan sqrt x5 Add asinh x0 -1 Mul Mul tan sqrt x5 log tan sqrt x5 Pow sqrt Add 1 Mul x0 x0 -1 1 