Mul Pow asin acosh sech acsch x1 acot Add x0 -4 x0 
Add Mul x0 Mul Pow asin acosh sech acsch x1 Add acot Add x0 -4 -1 Mul Mul asin acosh sech acsch x1 log asin acosh sech acsch x1 Mul -1 Pow Add 1 Mul Add x0 -4 Add x0 -4 -1 Pow asin acosh sech acsch x1 acot Add x0 -4 