cos Pow x0 Pow acosh Mul acosh x6 Mul acoth Add sqrt asin Add pi acos Add x5 x4 x1 x4 x5 
Mul Mul -1 sin Pow x0 Pow acosh Mul acosh x6 Mul acoth Add sqrt asin Add pi acos Add x5 x4 x1 x4 x5 Mul Pow x0 Add Pow acosh Mul acosh x6 Mul acoth Add sqrt asin Add pi acos Add x5 x4 x1 x4 x5 -1 Pow acosh Mul acosh x6 Mul acoth Add sqrt asin Add pi acos Add x5 x4 x1 x4 x5 