Pow Mul Pow x2 Mul atan acsch cot sin atan x2 Add x0 x0 x3 x0 
Mul Pow Mul Pow x2 Mul atan acsch cot sin atan x2 Add x0 x0 x3 Add x0 -1 Add Mul x0 Mul x3 Mul Pow x2 Add Mul atan acsch cot sin atan x2 Add x0 x0 -1 Mul Mul x2 log x2 Mul atan acsch cot sin atan x2 2 Mul Mul Pow x2 Mul atan acsch cot sin atan x2 Add x0 x0 x3 log Mul Pow x2 Mul atan acsch cot sin atan x2 Add x0 x0 x3 