acoth Add Mul Add x0 Mul asech pi x1 Pow Add sqrt x5 x0 x0 Add Pow Add x0 x3 x0 x0 
Mul Add Add Pow Add sqrt x5 x0 x0 Mul Add x0 Mul asech pi x1 Mul Pow Add sqrt x5 x0 Add x0 -1 Add x0 Mul Add sqrt x5 x0 log Add sqrt x5 x0 Add Mul Pow Add x0 x3 Add x0 -1 Add x0 Mul Add x0 x3 log Add x0 x3 1 Pow Add 1 Mul -1 Mul Add Mul Add x0 Mul asech pi x1 Pow Add sqrt x5 x0 x0 Add Pow Add x0 x3 x0 x0 Add Mul Add x0 Mul asech pi x1 Pow Add sqrt x5 x0 x0 Add Pow Add x0 x3 x0 x0 -1 