asinh Add x0 Add Pow acot x0 x0 Mul asin x6 Mul Add x0 asinh x0 x1 
Mul Add 1 Add Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Mul asin x6 Mul x1 Add 1 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Add x0 Add Pow acot x0 x0 Mul asin x6 Mul Add x0 asinh x0 x1 Add x0 Add Pow acot x0 x0 Mul asin x6 Mul Add x0 asinh x0 x1 -1 