Pow cos acoth sin Add Add x0 -3 x0 sec sec Mul Mul x3 x0 -1 
Mul Pow cos acoth sin Add Add x0 -3 x0 Add sec sec Mul Mul x3 x0 -1 -1 Add Mul sec sec Mul Mul x3 x0 -1 Mul Mul -1 sin acoth sin Add Add x0 -3 x0 Mul Mul cos Add Add x0 -3 x0 2 Pow Add 1 Mul -1 Mul sin Add Add x0 -3 x0 sin Add Add x0 -3 x0 -1 Mul Mul cos acoth sin Add Add x0 -3 x0 log cos acoth sin Add Add x0 -3 x0 Mul Mul tan sec Mul Mul x3 x0 -1 sec sec Mul Mul x3 x0 -1 Mul Mul tan Mul Mul x3 x0 -1 sec Mul Mul x3 x0 -1 Mul -1 x3 