Pow Add x0 Mul Add sqrt x0 x3 acot acsch Mul x5 x0 -3 
Mul Pow Add x0 Mul Add sqrt x0 x3 acot acsch Mul x5 x0 4 Mul -3 Add 1 Add Mul acot acsch Mul x5 x0 Pow Mul 2 sqrt x0 -1 Mul Add sqrt x0 x3 Mul -1 Mul Mul Mul -1 x5 Pow Mul Mul Mul x5 x0 Mul x5 x0 sqrt Add 1 Mul -1 Pow Mul Mul x5 x0 Mul x5 x0 -1 -1 Pow Add 1 Mul acsch Mul x5 x0 acsch Mul x5 x0 -1 