Mul -4 Mul x6 Pow Mul Add acosh x0 Add Add Pow atanh x0 tanh x0 Add 3 x0 x0 x2 exp acot x0 
Mul -4 Mul x6 Mul Pow Mul Add acosh x0 Add Add Pow atanh x0 tanh x0 Add 3 x0 x0 x2 Add exp acot x0 -1 Add Mul exp acot x0 Mul x2 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Add Mul Pow atanh x0 Add tanh x0 -1 Add Mul tanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Pow sech x0 2 1 1 Mul Mul Mul Add acosh x0 Add Add Pow atanh x0 tanh x0 Add 3 x0 x0 x2 log Mul Add acosh x0 Add Add Pow atanh x0 tanh x0 Add 3 x0 x0 x2 Mul exp acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 