Mul x0 Add exp Mul x0 x0 Pow acoth Pow 2.28396591232136 x0 x0 
Add Add exp Mul x0 x0 Pow acoth Pow 2.28396591232136 x0 x0 Mul x0 Add Mul exp Mul x0 x0 Add x0 x0 Mul Pow acoth Pow 2.28396591232136 x0 Add x0 -1 Add Mul x0 Mul Mul Pow 2.28396591232136 Add x0 -1 3.10987927945094 Pow Add 1 Mul -1 Mul Pow 2.28396591232136 x0 Pow 2.28396591232136 x0 -1 Mul acoth Pow 2.28396591232136 x0 log acoth Pow 2.28396591232136 x0 