Add Mul Pow Mul x0 acsch x3 Mul pi x0 Mul Add x0 x0 x3 x0 
Add Add Mul Mul Add x0 x0 x3 Mul Pow Mul x0 acsch x3 Add Mul pi x0 -1 Add Mul Mul pi x0 acsch x3 Mul Mul Mul x0 acsch x3 log Mul x0 acsch x3 pi Mul Pow Mul x0 acsch x3 Mul pi x0 Mul x3 2 1 