Add Mul 1.15782128234958 tan sec acoth x0 Add acoth x0 -4 
Add Mul 1.15782128234958 Mul Pow sec sec acoth x0 2 Mul Mul tan acoth x0 sec acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 