Mul Mul x0 acos acoth Pow Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 x0 -2 
Mul -2 Add acos acoth Pow Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 x0 Mul x0 Mul -1 Mul Mul Mul Pow Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 Add x0 -1 Add Mul x0 Mul Pow x0 Add Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 -1 Add Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 Mul Mul x0 log x0 Add Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 Add 2 tanh x4 Mul Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 log Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 Pow Add 1 Mul -1 Mul Pow Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 x0 Pow Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth Pow Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 x0 acoth Pow Pow x0 Add acot acosh x0 Add Add x0 x0 Mul x0 tanh x4 x0 -1 