Mul Mul atanh exp Mul x0 Mul acot x0 2 x4 Mul atanh x0 x0 
Add Mul Mul atanh x0 x0 Mul x4 Mul Mul exp Mul x0 Mul acot x0 2 Add Mul acot x0 2 Mul x0 Mul 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul exp Mul x0 Mul acot x0 2 exp Mul x0 Mul acot x0 2 -1 Mul Mul atanh exp Mul x0 Mul acot x0 2 x4 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 atanh x0 