Add x0 Mul Pow asinh acot sqrt cot Pow x3 asinh x6 x0 x0 
Add 1 Add Mul x0 Mul Pow asinh acot sqrt cot Pow x3 asinh x6 Add x0 -1 Mul asinh acot sqrt cot Pow x3 asinh x6 log asinh acot sqrt cot Pow x3 asinh x6 Pow asinh acot sqrt cot Pow x3 asinh x6 x0 