Mul log Mul x0 Add Add x0 acoth acot asin x1 x0 x0 
Add Mul x0 Mul Add Add Add x0 acoth acot asin x1 x0 Mul x0 2 Pow Mul x0 Add Add x0 acoth acot asin x1 x0 -1 log Mul x0 Add Add x0 acoth acot asin x1 x0 