Mul acosh Mul -3 x0 Pow Mul x5 x1 sec Mul x0 x0 
Add Mul Pow Mul x5 x1 sec Mul x0 x0 Mul -3 Pow Mul sqrt Add Mul -3 x0 -1 sqrt Add 1 Mul -3 x0 -1 Mul acosh Mul -3 x0 Mul Pow Mul x5 x1 Add sec Mul x0 x0 -1 Mul Mul Mul x5 x1 log Mul x5 x1 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 