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