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