asech asech acoth Mul x0 -4 
Mul Mul Mul -4 Pow Add 1 Mul -1 Mul Mul x0 -4 Mul x0 -4 -1 Pow Mul Mul acoth Mul x0 -4 acoth Mul x0 -4 sqrt Add 1 Mul -1 Pow Mul acoth Mul x0 -4 acoth Mul x0 -4 -1 -1 Pow Mul Mul asech acoth Mul x0 -4 asech acoth Mul x0 -4 sqrt Add 1 Mul -1 Pow Mul asech acoth Mul x0 -4 asech acoth Mul x0 -4 -1 -1 