Add Pow x6 Add -1 pi Pow Add E sqrt x0 Add Mul sinh x0 Mul x0 x0 -1 
Mul Pow Add E sqrt x0 Add Add Mul sinh x0 Mul x0 x0 -1 -1 Add Mul Add Mul sinh x0 Mul x0 x0 -1 Pow Mul 2 sqrt x0 -1 Mul Mul Add E sqrt x0 log Add E sqrt x0 Add Mul Mul x0 x0 cosh x0 Mul sinh x0 Add x0 x0 