Add x0 Pow Pow asech x0 log Mul acsch Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 asech x0 -1 
Add 1 Mul Pow Pow asech x0 log Mul acsch Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 asech x0 2 Mul -1 Mul Pow asech x0 Add log Mul acsch Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 asech x0 -1 Add Mul log Mul acsch Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul asech x0 log asech x0 Mul Add Mul asech x0 Mul Mul -1 Mul 3 Mul Pow Pow -0.989992496600445 E Add Pow x0 Add x3 acot x1 -1 Mul Mul Pow -0.989992496600445 E log Pow -0.989992496600445 E Mul Pow x0 Add Add x3 acot x1 -1 Add x3 acot x1 Pow Mul Mul Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 sqrt Add 1 Mul -1 Pow Mul Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 -1 -1 Mul acsch Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul acsch Mul Pow Pow -0.989992496600445 E Pow x0 Add x3 acot x1 3 asech x0 -1 