Add x0 Mul Pow Add x0 Mul acoth x0 x0 asec x5 Mul x3 Mul Add 4 x4 x1 
Add 1 Mul Mul x3 Mul Add 4 x4 x1 Mul Pow Add x0 Mul acoth x0 x0 Add asec x5 -1 Mul asec x5 Add 1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 