Add Pow tanh Pow asinh x7 x0 x0 10 
Mul Pow tanh Pow asinh x7 x0 Add x0 -1 Add Mul x0 Mul Pow sech Pow asinh x7 x0 2 Mul Pow asinh x7 Add x0 -1 Mul asinh x7 log asinh x7 Mul tanh Pow asinh x7 x0 log tanh Pow asinh x7 x0 