Mul coth atanh Mul x6 Mul x0 acos x1 0.733145430233438 
Mul 0.733145430233438 Mul Mul -1 Pow csch atanh Mul x6 Mul x0 acos x1 2 Mul Mul x6 acos x1 Pow Add 1 Mul -1 Mul Mul x6 Mul x0 acos x1 Mul x6 Mul x0 acos x1 -1 