Pow Mul Mul pi Pow acsch Mul x5 x5 x0 x0 3 
Mul Pow Mul Mul pi Pow acsch Mul x5 x5 x0 x0 2 Mul 3 Add Mul x0 Mul pi Mul Pow acsch Mul x5 x5 Add x0 -1 Mul acsch Mul x5 x5 log acsch Mul x5 x5 Mul pi Pow acsch Mul x5 x5 x0 