Mul Pow tanh acsch Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 sech x0 Add x6 x0 
Add Mul Add x6 x0 Mul Pow tanh acsch Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 Add sech x0 -1 Add Mul sech x0 Mul Pow sech acsch Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 2 Mul Mul -1 Mul 2 Mul Pow sqrt Add 1 Mul -1 Mul Add Add x0 3 Mul pi acos atanh pi Add Add x0 3 Mul pi acos atanh pi -1 Pow Add 1 Mul -1 Mul asin Add Add x0 3 Mul pi acos atanh pi asin Add Add x0 3 Mul pi acos atanh pi -1 Pow Mul Mul Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 sqrt Add 1 Mul -1 Pow Mul Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 -1 -1 Mul Mul tanh acsch Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 log tanh acsch Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 Mul tanh x0 Mul -1 sech x0 Pow tanh acsch Mul acoth asin Add Add x0 3 Mul pi acos atanh pi 2 sech x0 