Pow Add x0 cot acosh exp Add x0 0.110883748301285 Add x7 Mul -3 x0 
Mul Pow Add x0 cot acosh exp Add x0 0.110883748301285 Add Add x7 Mul -3 x0 -1 Add Mul Add x7 Mul -3 x0 Add 1 Mul Mul -1 Pow csc acosh exp Add x0 0.110883748301285 2 Mul exp Add x0 0.110883748301285 Pow Mul sqrt Add exp Add x0 0.110883748301285 -1 sqrt Add 1 exp Add x0 0.110883748301285 -1 Mul Mul Add x0 cot acosh exp Add x0 0.110883748301285 log Add x0 cot acosh exp Add x0 0.110883748301285 -3 