cos Add -4 Pow Pow acosh x1 x0 Add 2 x0 
Mul Mul -1 sin Add -4 Pow Pow acosh x1 x0 Add 2 x0 Mul Pow Pow acosh x1 x0 Add Add 2 x0 -1 Add Mul Add 2 x0 Mul Pow acosh x1 Add x0 -1 Mul acosh x1 log acosh x1 Mul Pow acosh x1 x0 log Pow acosh x1 x0 