Mul acot x0 Add Add Pow asin Pow x3 Add x0 atanh x0 3 x0 3.38051500624659 
Add Mul Add Add Pow asin Pow x3 Add x0 atanh x0 3 x0 3.38051500624659 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul Pow asin Pow x3 Add x0 atanh x0 2 Mul 3 Mul Mul Pow x3 Add Add x0 atanh x0 -1 Mul Mul x3 log x3 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow x3 Add x0 atanh x0 Pow x3 Add x0 atanh x0 -1 1 