Mul Pow atanh atanh Pow x0 2 x0 Mul -0.761594155955765 Add x0 Add coth E Pow asech x4 -1 
Add Mul Mul -0.761594155955765 Add x0 Add coth E Pow asech x4 -1 Mul Pow atanh atanh Pow x0 2 Add x0 -1 Add Mul x0 Mul Mul Mul x0 2 Pow Add 1 Mul -1 Mul Pow x0 2 Pow x0 2 -1 Pow Add 1 Mul -1 Mul atanh Pow x0 2 atanh Pow x0 2 -1 Mul atanh atanh Pow x0 2 log atanh atanh Pow x0 2 Mul Pow atanh atanh Pow x0 2 x0 -0.761594155955765 