Mul E Mul Add x0 Pow Mul Mul x0 Mul -2 x0 Mul acsch pi x5 x0 sqrt x1 
Mul E Mul sqrt x1 Add 1 Mul Pow Mul Mul x0 Mul -2 x0 Mul acsch pi x5 Add x0 -1 Add Mul x0 Mul Mul acsch pi x5 Add Mul -2 x0 Mul x0 -2 Mul Mul Mul x0 Mul -2 x0 Mul acsch pi x5 log Mul Mul x0 Mul -2 x0 Mul acsch pi x5 