Mul Pow x0 Pow acsch sqrt x1 Mul x0 x0 -0.653643620863612 
Mul -0.653643620863612 Mul Pow x0 Add Pow acsch sqrt x1 Mul x0 x0 -1 Add Pow acsch sqrt x1 Mul x0 x0 Mul Mul x0 log x0 Mul Pow acsch sqrt x1 Add Mul x0 x0 -1 Mul Mul acsch sqrt x1 log acsch sqrt x1 Add x0 x0 