Pow Add acot Mul x4 x0 Add x2 x0 Mul x0 Pow asinh x2 x0 
Mul Pow Add acot Mul x4 x0 Add x2 x0 Add Mul x0 Pow asinh x2 x0 -1 Add Mul Mul x0 Pow asinh x2 x0 Add Mul -1 Mul x4 Pow Add 1 Mul Mul x4 x0 Mul x4 x0 -1 1 Mul Mul Add acot Mul x4 x0 Add x2 x0 log Add acot Mul x4 x0 Add x2 x0 Add Pow asinh x2 x0 Mul x0 Mul Pow asinh x2 Add x0 -1 Mul asinh x2 log asinh x2 