Add Add acos Add x0 x0 sec sqrt acsch Pow Mul x4 -3 x0 1.85081571768093 
Add Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul tan sqrt acsch Pow Mul x4 -3 x0 sec sqrt acsch Pow Mul x4 -3 x0 Mul Pow Mul 2 sqrt acsch Pow Mul x4 -3 x0 -1 Mul Mul -1 Mul Pow Mul x4 -3 Add x0 -1 Mul Mul x4 -3 log Mul x4 -3 Pow Mul Mul Pow Mul x4 -3 x0 Pow Mul x4 -3 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul x4 -3 x0 Pow Mul x4 -3 x0 -1 -1 