Mul x5 Pow Mul Add Pow x6 tan Pow cos acot x1 x0 Pow asech acoth x0 x0 x0 x0 
Mul x5 Mul Pow Mul Add Pow x6 tan Pow cos acot x1 x0 Pow asech acoth x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Add Mul Pow x6 Add tan Pow cos acot x1 x0 -1 Mul Mul x6 log x6 Mul Pow sec Pow cos acot x1 x0 2 Mul Pow cos acot x1 Add x0 -1 Mul cos acot x1 log cos acot x1 Mul Pow asech acoth x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 Mul asech acoth x0 log asech acoth x0 Add Pow x6 tan Pow cos acot x1 x0 Pow asech acoth x0 x0 Mul Mul Add Pow x6 tan Pow cos acot x1 x0 Pow asech acoth x0 x0 x0 log Mul Add Pow x6 tan Pow cos acot x1 x0 Pow asech acoth x0 x0 x0 