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