acot sec Mul x0 Pow cosh x0 Pow asin pi x0 
Mul -1 Mul Mul Mul tan Mul x0 Pow cosh x0 Pow asin pi x0 sec Mul x0 Pow cosh x0 Pow asin pi x0 Add Pow cosh x0 Pow asin pi x0 Mul x0 Mul Pow cosh x0 Add Pow asin pi x0 -1 Add Mul Pow asin pi x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow asin pi Add x0 -1 Mul asin pi log asin pi Pow Add 1 Mul sec Mul x0 Pow cosh x0 Pow asin pi x0 sec Mul x0 Pow cosh x0 Pow asin pi x0 -1 