Mul x0 Add Mul Pow acot log Add x0 Pow exp Mul -3 x3 Add x0 Mul x0 Add acsch x3 x0 x4 -4 2 
Add Add Mul Pow acot log Add x0 Pow exp Mul -3 x3 Add x0 Mul x0 Add acsch x3 x0 x4 -4 2 Mul x0 Mul -4 Mul Pow acot log Add x0 Pow exp Mul -3 x3 Add x0 Mul x0 Add acsch x3 x0 Add x4 -1 Mul x4 Mul -1 Mul Mul Add 1 Mul Pow exp Mul -3 x3 Add Add x0 Mul x0 Add acsch x3 x0 -1 Mul Mul exp Mul -3 x3 log exp Mul -3 x3 Add 1 Add Add acsch x3 x0 x0 Pow Add x0 Pow exp Mul -3 x3 Add x0 Mul x0 Add acsch x3 x0 -1 Pow Add 1 Mul log Add x0 Pow exp Mul -3 x3 Add x0 Mul x0 Add acsch x3 x0 log Add x0 Pow exp Mul -3 x3 Add x0 Mul x0 Add acsch x3 x0 -1 