Pow Add Mul x7 Mul x5 acsch x4 sin Mul x0 -2 Pow sec acos x0 1.73205080756888 
Mul Pow Add Mul x7 Mul x5 acsch x4 sin Mul x0 -2 Add Pow sec acos x0 1.73205080756888 -1 Add Mul Pow sec acos x0 1.73205080756888 Mul cos Mul x0 -2 -2 Mul Mul Add Mul x7 Mul x5 acsch x4 sin Mul x0 -2 log Add Mul x7 Mul x5 acsch x4 sin Mul x0 -2 Mul Pow sec acos x0 0.732050807568877 Mul 1.73205080756888 Mul Mul tan acos x0 sec acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 