Mul Pow Pow Add x0 exp acosh sinh Add x0 x0 -74.2032105777888 x0 acoth x4 
Mul acoth x4 Mul Pow Pow Add x0 exp acosh sinh Add x0 x0 -74.2032105777888 Add x0 -1 Add Mul x0 Mul Pow Add x0 exp acosh sinh Add x0 x0 -75.2032105777888 Mul -74.2032105777888 Add 1 Mul exp acosh sinh Add x0 x0 Mul Mul cosh Add x0 x0 2 Pow Mul sqrt Add sinh Add x0 x0 -1 sqrt Add 1 sinh Add x0 x0 -1 Mul Pow Add x0 exp acosh sinh Add x0 x0 -74.2032105777888 log Pow Add x0 exp acosh sinh Add x0 x0 -74.2032105777888 