Mul acoth Mul Add -2 acos Add x0 Add -5 x6 acot x3 log sinh x3 
Mul log sinh x3 Mul Mul acot x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Add -5 x6 Add x0 Add -5 x6 -1 Pow Add 1 Mul -1 Mul Mul Add -2 acos Add x0 Add -5 x6 acot x3 Mul Add -2 acos Add x0 Add -5 x6 acot x3 -1 