log Add Add E 5 exp sech acot Mul x0 x0 
Mul Mul exp sech acot Mul x0 x0 Mul Mul tanh acot Mul x0 x0 Mul -1 sech acot Mul x0 x0 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Add Add E 5 exp sech acot Mul x0 x0 -1 