Mul Mul x0 Mul Pow sec x0 atan Pow x0 x5 acosh x4 x0 
Add Mul x0 Add Mul Pow sec x0 atan Pow x0 x5 acosh x4 Mul x0 Mul acosh x4 Mul Pow sec x0 Add atan Pow x0 x5 -1 Add Mul atan Pow x0 x5 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Mul Pow x0 Add x5 -1 x5 Pow Add 1 Mul Pow x0 x5 Pow x0 x5 -1 Mul x0 Mul Pow sec x0 atan Pow x0 x5 acosh x4 