Pow tanh atan Mul pi -1 acot Mul Mul x7 Mul x7 E x0 
Mul Pow tanh atan Mul pi -1 Add acot Mul Mul x7 Mul x7 E x0 -1 Mul Mul tanh atan Mul pi -1 log tanh atan Mul pi -1 Mul -1 Mul Mul x7 Mul x7 E Pow Add 1 Mul Mul Mul x7 Mul x7 E x0 Mul Mul x7 Mul x7 E x0 -1 