Mul acot x4 Mul Mul asinh E -2 Mul x0 Add Pow Add x0 Pow Add x7 x0 Mul x0 x5 x1 x0 
Mul acot x4 Mul Mul asinh E -2 Add Add Pow Add x0 Pow Add x7 x0 Mul x0 x5 x1 x0 Mul x0 Add Mul Pow Add x0 Pow Add x7 x0 Mul x0 x5 Add x1 -1 Mul x1 Add 1 Mul Pow Add x7 x0 Add Mul x0 x5 -1 Add Mul x0 x5 Mul Mul Add x7 x0 log Add x7 x0 x5 1 