Pow Pow Mul acosh x0 x0 Mul -2 Add -5 Add sec Mul Mul x0 x0 x0 Pow asin x1 sqrt exp Pow x0 -3 x5 
Mul Pow Pow Mul acosh x0 x0 Mul -2 Add -5 Add sec Mul Mul x0 x0 x0 Pow asin x1 sqrt exp Pow x0 -3 Add x5 -1 Mul x5 Mul Pow Mul acosh x0 x0 Add Mul -2 Add -5 Add sec Mul Mul x0 x0 x0 Pow asin x1 sqrt exp Pow x0 -3 -1 Add Mul Mul -2 Add -5 Add sec Mul Mul x0 x0 x0 Pow asin x1 sqrt exp Pow x0 -3 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Mul Mul Mul acosh x0 x0 log Mul acosh x0 x0 Mul -2 Add Mul Mul tan Mul Mul x0 x0 x0 sec Mul Mul x0 x0 x0 Add Mul x0 Add x0 x0 Mul x0 x0 Mul Pow asin x1 Add sqrt exp Pow x0 -3 -1 Mul Mul asin x1 log asin x1 Mul Pow Mul 2 sqrt exp Pow x0 -3 -1 Mul exp Pow x0 -3 Mul Pow x0 4 -3 