Add acos E Pow Mul acoth Pow Pow pi pi 3.62686040784702 x0 exp Mul x0 x3 
Mul Pow Mul acoth Pow Pow pi pi 3.62686040784702 x0 Add exp Mul x0 x3 -1 Add Mul exp Mul x0 x3 acoth Pow Pow pi pi 3.62686040784702 Mul Mul Mul acoth Pow Pow pi pi 3.62686040784702 x0 log Mul acoth Pow Pow pi pi 3.62686040784702 x0 Mul exp Mul x0 x3 x3 