Add Pow Add 0.283662185463226 x2 x3 acoth Pow Pow sin acosh cos asinh sqrt x0 x0 x0 
Mul Mul Pow Pow sin acosh cos asinh sqrt x0 x0 Add x0 -1 Add Mul x0 Mul Pow sin acosh cos asinh sqrt x0 Add x0 -1 Add Mul x0 Mul cos acosh cos asinh sqrt x0 Mul Mul Mul -1 sin asinh sqrt x0 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul sqrt x0 sqrt x0 -1 Pow Mul sqrt Add cos asinh sqrt x0 -1 sqrt Add 1 cos asinh sqrt x0 -1 Mul sin acosh cos asinh sqrt x0 log sin acosh cos asinh sqrt x0 Mul Pow sin acosh cos asinh sqrt x0 x0 log Pow sin acosh cos asinh sqrt x0 x0 Pow Add 1 Mul -1 Mul Pow Pow sin acosh cos asinh sqrt x0 x0 x0 Pow Pow sin acosh cos asinh sqrt x0 x0 x0 -1 