Mul x0 Add Pow acot Mul sech acosh x0 x0 0.761594155955765 x0 
Add Add Pow acot Mul sech acosh x0 x0 0.761594155955765 x0 Mul x0 Add Mul Pow acot Mul sech acosh x0 x0 -0.238405844044235 Mul 0.761594155955765 Mul -1 Mul Add Mul x0 Mul Mul tanh acosh x0 Mul -1 sech acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 sech acosh x0 Pow Add 1 Mul Mul sech acosh x0 x0 Mul sech acosh x0 x0 -1 1 