Mul Mul 3 Pow acosh Pow 3 sqrt Mul x0 -1.75000000000000 x0 Mul 3 acsch x6 
Mul Mul 3 acsch x6 Mul 3 Mul Pow acosh Pow 3 sqrt Mul x0 -1.75000000000000 Add x0 -1 Add Mul x0 Mul Mul Pow 3 Add sqrt Mul x0 -1.75000000000000 -1 Mul 4.09861228866811 Mul Pow Mul 2 sqrt Mul x0 -1.75000000000000 -1 -1.75000000000000 Pow Mul sqrt Add Pow 3 sqrt Mul x0 -1.75000000000000 -1 sqrt Add 1 Pow 3 sqrt Mul x0 -1.75000000000000 -1 Mul acosh Pow 3 sqrt Mul x0 -1.75000000000000 log acosh Pow 3 sqrt Mul x0 -1.75000000000000 