Mul Mul atanh Pow Pow Mul 3 x4 x5 4 x0 acot Mul x0 tanh E 
Add Mul acot Mul x0 tanh E atanh Pow Pow Mul 3 x4 x5 4 Mul Mul atanh Pow Pow Mul 3 x4 x5 4 x0 Mul -1 Mul tanh E Pow Add 1 Mul Mul x0 tanh E Mul x0 tanh E -1 