Pow x1 Pow cos acosh x0 sech x3 
Mul Pow x1 Add Pow cos acosh x0 sech x3 -1 Mul Mul x1 log x1 Mul Pow cos acosh x0 Add sech x3 -1 Mul sech x3 Mul Mul -1 sin acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 