Add log Mul x0 Add x0 Add acot acosh acot Mul Pow log tanh x3 Mul x0 -1 2 acot x0 x0 
Add Mul Add Add x0 Add acot acosh acot Mul Pow log tanh x3 Mul x0 -1 2 acot x0 Mul x0 Add 1 Add Mul -1 Mul Mul Mul -1 Mul Mul 2 Mul Pow log tanh x3 Add Mul x0 -1 -1 Mul Mul log tanh x3 log log tanh x3 -1 Pow Add 1 Mul Mul Pow log tanh x3 Mul x0 -1 2 Mul Pow log tanh x3 Mul x0 -1 2 -1 Pow Mul sqrt Add acot Mul Pow log tanh x3 Mul x0 -1 2 -1 sqrt Add 1 acot Mul Pow log tanh x3 Mul x0 -1 2 -1 Pow Add 1 Mul acosh acot Mul Pow log tanh x3 Mul x0 -1 2 acosh acot Mul Pow log tanh x3 Mul x0 -1 2 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul x0 Add x0 Add acot acosh acot Mul Pow log tanh x3 Mul x0 -1 2 acot x0 -1 1 