Mul Mul x0 sec cos Mul atanh Pow 2 x0 -4 2 
Mul 2 Add sec cos Mul atanh Pow 2 x0 -4 Mul x0 Mul Mul tan cos Mul atanh Pow 2 x0 -4 sec cos Mul atanh Pow 2 x0 -4 Mul Mul -1 sin Mul atanh Pow 2 x0 -4 Mul -4 Mul Mul Pow 2 Add x0 -1 2.69314718055995 Pow Add 1 Mul -1 Mul Pow 2 x0 Pow 2 x0 -1 