Mul sec Mul x0 -3 Pow Mul x2 asinh asin x0 atan Mul sinh x0 x2 
Add Mul Pow Mul x2 asinh asin x0 atan Mul sinh x0 x2 Mul Mul tan Mul x0 -3 sec Mul x0 -3 -3 Mul sec Mul x0 -3 Mul Pow Mul x2 asinh asin x0 Add atan Mul sinh x0 x2 -1 Add Mul atan Mul sinh x0 x2 Mul x2 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul asin x0 asin x0 -1 Mul Mul Mul x2 asinh asin x0 log Mul x2 asinh asin x0 Mul Mul x2 cosh x0 Pow Add 1 Mul Mul sinh x0 x2 Mul sinh x0 x2 -1 