Mul Pow x0 Pow 4 x0 Mul x0 Add Pow tan acsc acoth x3 x0 1 
Add Mul Mul x0 Add Pow tan acsc acoth x3 x0 1 Mul Pow x0 Add Pow 4 x0 -1 Add Pow 4 x0 Mul Mul x0 log x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Pow x0 Pow 4 x0 Add Add Pow tan acsc acoth x3 x0 1 Mul x0 Mul Pow tan acsc acoth x3 Add x0 -1 Mul tan acsc acoth x3 log tan acsc acoth x3 