acos Pow asinh acot Pow 3 x7 x0 
Mul -1 Mul Mul Pow asinh acot Pow 3 x7 Add x0 -1 Mul asinh acot Pow 3 x7 log asinh acot Pow 3 x7 Pow sqrt Add 1 Mul -1 Mul Pow asinh acot Pow 3 x7 x0 Pow asinh acot Pow 3 x7 x0 -1 