Add Add Mul x7 x0 -4 tan sec Add pi atanh atan Mul sin Pow acoth x3 Pow x0 x0 x0 
Add x7 Mul Pow sec sec Add pi atanh atan Mul sin Pow acoth x3 Pow x0 x0 x0 2 Mul Mul tan Add pi atanh atan Mul sin Pow acoth x3 Pow x0 x0 x0 sec Add pi atanh atan Mul sin Pow acoth x3 Pow x0 x0 x0 Mul Mul Add Mul x0 Mul cos Pow acoth x3 Pow x0 x0 Mul Pow acoth x3 Add Pow x0 x0 -1 Mul Mul acoth x3 log acoth x3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 sin Pow acoth x3 Pow x0 x0 Pow Add 1 Mul Mul sin Pow acoth x3 Pow x0 x0 x0 Mul sin Pow acoth x3 Pow x0 x0 x0 -1 Pow Add 1 Mul -1 Mul atan Mul sin Pow acoth x3 Pow x0 x0 x0 atan Mul sin Pow acoth x3 Pow x0 x0 x0 -1 