acoth Pow asinh asin x5 Pow Pow acos x4 2 Add x0 acoth x0 
Mul Mul Pow asinh asin x5 Add Pow Pow acos x4 2 Add x0 acoth x0 -1 Mul Mul asinh asin x5 log asinh asin x5 Mul Pow Pow acos x4 2 Add Add x0 acoth x0 -1 Mul Mul Pow acos x4 2 log Pow acos x4 2 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow asinh asin x5 Pow Pow acos x4 2 Add x0 acoth x0 Pow asinh asin x5 Pow Pow acos x4 2 Add x0 acoth x0 -1 