Mul Mul x0 x4 sec Mul Mul Mul x1 acosh asec x3 x0 acsc x3 
Add Mul sec Mul Mul Mul x1 acosh asec x3 x0 acsc x3 x4 Mul Mul x0 x4 Mul Mul tan Mul Mul Mul x1 acosh asec x3 x0 acsc x3 sec Mul Mul Mul x1 acosh asec x3 x0 acsc x3 Mul acsc x3 Mul x1 acosh asec x3 