Pow Mul sech x3 acos Mul E 2 Mul -2 Pow Add cos sqrt x0 5 x0 
Mul Pow Mul sech x3 acos Mul E 2 Add Mul -2 Pow Add cos sqrt x0 5 x0 -1 Mul Mul Mul sech x3 acos Mul E 2 log Mul sech x3 acos Mul E 2 Mul -2 Mul Pow Add cos sqrt x0 5 Add x0 -1 Add Mul x0 Mul Mul -1 sin sqrt x0 Pow Mul 2 sqrt x0 -1 Mul Add cos sqrt x0 5 log Add cos sqrt x0 5 