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