acsch Mul Add x0 Add Pow acot exp x0 Pow E Mul x0 x0 x0 x3 
Mul Mul -1 Mul x3 Add 1 Add Mul Pow acot exp x0 Add Pow E Mul x0 x0 -1 Add Mul Pow E Mul x0 x0 Mul -1 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Mul Mul acot exp x0 log acot exp x0 Mul Pow E Add Mul x0 x0 -1 Mul Mul E log E Add x0 x0 1 Pow Mul Mul Mul Add x0 Add Pow acot exp x0 Pow E Mul x0 x0 x0 x3 Mul Add x0 Add Pow acot exp x0 Pow E Mul x0 x0 x0 x3 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 Add Pow acot exp x0 Pow E Mul x0 x0 x0 x3 Mul Add x0 Add Pow acot exp x0 Pow E Mul x0 x0 x0 x3 -1 -1 