Add Mul Add acoth acsch Mul x0 2 x0 -1 Pow Mul 3 x0 Mul Add x2 x0 x5 
Add Mul -1 Add Mul Pow Mul Mul Mul x0 2 Mul x0 2 sqrt Add 1 Mul -1 Pow Mul Mul x0 2 Mul x0 2 -1 -1 Pow Add 1 Mul -1 Mul acsch Mul x0 2 acsch Mul x0 2 -1 1 Mul Pow Mul 3 x0 Add Mul Add x2 x0 x5 -1 Add Mul Mul Add x2 x0 x5 3 Mul Mul Mul 3 x0 log Mul 3 x0 x5 