Add acot acsch Mul x0 -0.909297426825682 Mul x0 Mul acoth x0 4 
Add Mul -1 Mul Mul -1.90929742682568 Pow Mul Mul Mul x0 -0.909297426825682 Mul x0 -0.909297426825682 sqrt Add 1 Mul -1 Pow Mul Mul x0 -0.909297426825682 Mul x0 -0.909297426825682 -1 -1 Pow Add 1 Mul acsch Mul x0 -0.909297426825682 acsch Mul x0 -0.909297426825682 -1 Add Mul acoth x0 4 Mul x0 Mul 4 Pow Add 1 Mul -1 Mul x0 x0 -1 