Add Mul Pow acosh Pow tanh x0 x3 -4 x0 Mul acosh Mul x0 2 -5 
Add Add Mul x0 Mul Pow acosh Pow tanh x0 x3 5 Mul -4 Mul Mul Pow tanh x0 Add x3 -1 Mul x3 Pow sech x0 2 Pow Mul sqrt Add Pow tanh x0 x3 -1 sqrt Add 1 Pow tanh x0 x3 -1 Pow acosh Pow tanh x0 x3 -4 Mul -5 Mul 2 Pow Mul sqrt Add Mul x0 2 -1 sqrt Add 1 Mul x0 2 -1 