tan Mul -2 Pow acosh x7 Add x0 Mul x1 Mul -3 x0 
Mul Pow sec Mul -2 Pow acosh x7 Add x0 Mul x1 Mul -3 x0 2 Mul -2 Mul Pow acosh x7 Add Add x0 Mul x1 Mul -3 x0 -1 Mul Mul acosh x7 log acosh x7 Add 1 Mul x1 -3 