tan sec acoth log Add Mul x0 2 x1 
Mul Pow sec sec acoth log Add Mul x0 2 x1 2 Mul Mul tan acoth log Add Mul x0 2 x1 sec acoth log Add Mul x0 2 x1 Mul Mul 2 Pow Add Mul x0 2 x1 -1 Pow Add 1 Mul -1 Mul log Add Mul x0 2 x1 log Add Mul x0 2 x1 -1 