Mul Mul x0 x3 tan Pow acosh Mul x3 -1 x0 
Add Mul tan Pow acosh Mul x3 -1 x0 x3 Mul Mul x0 x3 Mul Pow sec Pow acosh Mul x3 -1 x0 2 Mul Pow acosh Mul x3 -1 Add x0 -1 Mul acosh Mul x3 -1 log acosh Mul x3 -1 