Mul Add Add acot x1 Add -1 Mul x0 tanh Pow log exp x0 x0 Add x0 x1 x0 
Add Mul x0 Add Add tanh Pow log exp x0 x0 Mul x0 Mul Pow sech Pow log exp x0 x0 2 Mul Pow log exp x0 Add x0 -1 Add Mul x0 Mul exp x0 Pow exp x0 -1 Mul log exp x0 log log exp x0 1 Add Add acot x1 Add -1 Mul x0 tanh Pow log exp x0 x0 Add x0 x1 