Pow Pow 10 x6 csch coth Mul asech x0 sqrt x3 
Mul Pow Pow 10 x6 Add csch coth Mul asech x0 sqrt x3 -1 Mul Mul Pow 10 x6 log Pow 10 x6 Mul Mul Mul -1 coth coth Mul asech x0 sqrt x3 csch coth Mul asech x0 sqrt x3 Mul Mul -1 Pow csch Mul asech x0 sqrt x3 2 Mul sqrt x3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 