Pow x7 Mul 2 tan sin Pow atan x0 acosh x6 
Mul Pow x7 Add Mul 2 tan sin Pow atan x0 acosh x6 -1 Mul Mul x7 log x7 Mul 2 Mul Pow sec sin Pow atan x0 acosh x6 2 Mul cos Pow atan x0 acosh x6 Mul Pow atan x0 Add acosh x6 -1 Mul acosh x6 Pow Add 1 Mul x0 x0 -1 