Pow Pow log log x0 x0 tanh Mul asech x5 x0 
Mul Pow Pow log log x0 x0 Add tanh Mul asech x5 x0 -1 Add Mul tanh Mul asech x5 x0 Mul Pow log log x0 Add x0 -1 Add Mul x0 Mul Pow x0 -1 Pow log x0 -1 Mul log log x0 log log log x0 Mul Mul Pow log log x0 x0 log Pow log log x0 x0 Mul Pow sech Mul asech x5 x0 2 asech x5 