Add Mul Mul Add Pow acsch Mul x5 E x0 x5 4 x0 Pow x6 x0 
Add Add Mul x0 Mul 4 Mul Pow acsch Mul x5 E Add x0 -1 Mul acsch Mul x5 E log acsch Mul x5 E Mul Add Pow acsch Mul x5 E x0 x5 4 Mul Pow x6 Add x0 -1 Mul x6 log x6 