Add Pow asech Pow Pow Add E acoth x0 5 2 x0 x0 
Add Mul Pow asech Pow Pow Add E acoth x0 5 2 Add x0 -1 Add Mul x0 Mul Mul Pow Add E acoth x0 5 Mul 2 Mul Pow Add E acoth x0 4 Mul 5 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow Pow Add E acoth x0 5 2 Pow Pow Add E acoth x0 5 2 sqrt Add 1 Mul -1 Pow Mul Pow Pow Add E acoth x0 5 2 Pow Pow Add E acoth x0 5 2 -1 -1 Mul asech Pow Pow Add E acoth x0 5 2 log asech Pow Pow Add E acoth x0 5 2 1 