Pow log Add x0 Mul Pow log tanh x7 Add x0 cosh coth pi 9 Mul x5 -0.653643620863612 
Mul Pow log Add x0 Mul Pow log tanh x7 Add x0 cosh coth pi 9 Add Mul x5 -0.653643620863612 -1 Mul Mul x5 -0.653643620863612 Mul Add 1 Mul 9 Mul Pow log tanh x7 Add Add x0 cosh coth pi -1 Mul log tanh x7 log log tanh x7 Pow Add x0 Mul Pow log tanh x7 Add x0 cosh coth pi 9 -1 