Mul -3 Add acot Add x0 x2 Pow Mul x0 atanh x2 acosh tan sech x0 
Mul -3 Add Mul -1 Pow Add 1 Mul Add x0 x2 Add x0 x2 -1 Mul Pow Mul x0 atanh x2 Add acosh tan sech x0 -1 Add Mul acosh tan sech x0 atanh x2 Mul Mul Mul x0 atanh x2 log Mul x0 atanh x2 Mul Mul Pow sec sech x0 2 Mul tanh x0 Mul -1 sech x0 Pow Mul sqrt Add tan sech x0 -1 sqrt Add 1 tan sech x0 -1 