Mul x5 Pow asin x0 Mul sec cosh Mul Pow x0 x3 4 x0 
Mul x5 Mul Pow asin x0 Add Mul sec cosh Mul Pow x0 x3 4 x0 -1 Add Mul Mul sec cosh Mul Pow x0 x3 4 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 log asin x0 Add Mul x0 Mul Mul tan cosh Mul Pow x0 x3 4 sec cosh Mul Pow x0 x3 4 Mul sinh Mul Pow x0 x3 4 Mul 4 Mul Pow x0 Add x3 -1 x3 sec cosh Mul Pow x0 x3 4 