Pow x0 Pow acsch Add pi x1 Mul x0 x1 
Mul Pow x0 Add Pow acsch Add pi x1 Mul x0 x1 -1 Add Pow acsch Add pi x1 Mul x0 x1 Mul Mul x0 log x0 Mul Pow acsch Add pi x1 Add Mul x0 x1 -1 Mul Mul acsch Add pi x1 log acsch Add pi x1 x1 