sqrt Pow Mul Mul x0 x0 Mul x0 Mul cos log cos E Add cosh x0 acosh x4 E 
Mul Pow Mul 2 sqrt Pow Mul Mul x0 x0 Mul x0 Mul cos log cos E Add cosh x0 acosh x4 E -1 Mul Pow Mul Mul x0 x0 Mul x0 Mul cos log cos E Add cosh x0 acosh x4 Add E -1 Mul E Add Mul Mul x0 Mul cos log cos E Add cosh x0 acosh x4 Add x0 x0 Mul Mul x0 x0 Add Mul cos log cos E Add cosh x0 acosh x4 Mul x0 Mul cos log cos E sinh x0 