sqrt sinh Add Mul -2 atanh asech sqrt pi Add Pow asin Add x0 Add acot x4 x0 -0.463647609000806 x0 
Mul Pow Mul 2 sqrt sinh Add Mul -2 atanh asech sqrt pi Add Pow asin Add x0 Add acot x4 x0 -0.463647609000806 x0 -1 Mul cosh Add Mul -2 atanh asech sqrt pi Add Pow asin Add x0 Add acot x4 x0 -0.463647609000806 x0 Add Mul Pow asin Add x0 Add acot x4 x0 -1.46364760900081 Mul -0.463647609000806 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 Add acot x4 x0 Add x0 Add acot x4 x0 -1 1 