Add x0 Mul -3 Mul acoth x0 asin Pow asinh Mul -3 x0 log exp x0 
Add 1 Mul -3 Add Mul asin Pow asinh Mul -3 x0 log exp x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Mul Pow asinh Mul -3 x0 Add log exp x0 -1 Add Mul log exp x0 Mul -3 Pow sqrt Add 1 Mul Mul -3 x0 Mul -3 x0 -1 Mul Mul asinh Mul -3 x0 log asinh Mul -3 x0 Mul exp x0 Pow exp x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow asinh Mul -3 x0 log exp x0 Pow asinh Mul -3 x0 log exp x0 -1 