Add Mul x3 x0 Pow Mul atanh E x0 Mul x0 acosh coth pi 
Add x3 Mul Pow Mul atanh E x0 Add Mul x0 acosh coth pi -1 Add Mul Mul x0 acosh coth pi atanh E Mul Mul Mul atanh E x0 log Mul atanh E x0 acosh coth pi 