Mul Pow Add Pow x4 exp Add pi x1 Add x0 x0 x0 acsch x3 
Mul acsch x3 Mul Pow Add Pow x4 exp Add pi x1 Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add Pow x4 exp Add pi x1 Add x0 x0 log Add Pow x4 exp Add pi x1 Add x0 x0 