Mul 2 acsch Pow x0 Mul asech Pow x0 cot x5 3 
Mul 2 Mul Mul -1 Mul Pow x0 Add Mul asech Pow x0 cot x5 3 -1 Add Mul asech Pow x0 cot x5 3 Mul Mul x0 log x0 Mul 3 Mul Mul Pow x0 Add cot x5 -1 cot x5 Pow Mul Mul Pow x0 cot x5 Pow x0 cot x5 sqrt Add 1 Mul -1 Pow Mul Pow x0 cot x5 Pow x0 cot x5 -1 -1 Pow Mul Mul Pow x0 Mul asech Pow x0 cot x5 3 Pow x0 Mul asech Pow x0 cot x5 3 sqrt Add 1 Mul -1 Pow Mul Pow x0 Mul asech Pow x0 cot x5 3 Pow x0 Mul asech Pow x0 cot x5 3 -1 -1 