Add Mul x0 Add Pow asin acoth acot x5 x0 Add x0 Add Add x5 x4 Add x0 Mul x0 x0 Mul -5 Mul 2 x0 
Add Add Add Pow asin acoth acot x5 x0 Add x0 Add Add x5 x4 Add x0 Mul x0 x0 Mul x0 Add Mul Pow asin acoth acot x5 Add x0 -1 Mul asin acoth acot x5 log asin acoth acot x5 Add 1 Add 1 Add x0 x0 3 