Add Mul atan Pow x0 sec acoth asech E x0 Add sqrt x0 Add x0 x0 
Add Add Mul x0 Mul Mul Pow x0 Add sec acoth asech E -1 sec acoth asech E Pow Add 1 Mul Pow x0 sec acoth asech E Pow x0 sec acoth asech E -1 atan Pow x0 sec acoth asech E Add Pow Mul 2 sqrt x0 -1 2 