Add x0 exp Add Pow x5 Add coth acot x3 Mul x7 cot sqrt x0 x0 
Add 1 Mul exp Add Pow x5 Add coth acot x3 Mul x7 cot sqrt x0 x0 Add Mul Pow x5 Add Add coth acot x3 Mul x7 cot sqrt x0 -1 Mul Mul x5 log x5 Mul x7 Mul Mul -1 Pow csc sqrt x0 2 Pow Mul 2 sqrt x0 -1 1 