Mul Pow acos Pow cos E x0 cosh x0 x0 
Add Mul x0 Mul Pow acos Pow cos E x0 Add cosh x0 -1 Add Mul cosh x0 Mul -1 Mul Mul Pow cos E Add x0 -1 Mul cos E log cos E Pow sqrt Add 1 Mul -1 Mul Pow cos E x0 Pow cos E x0 -1 Mul Mul acos Pow cos E x0 log acos Pow cos E x0 sinh x0 Pow acos Pow cos E x0 cosh x0 