Add Mul x0 acos acoth Mul Add x0 5 Mul Add 2 x3 2 x0 
Add Add acos acoth Mul Add x0 5 Mul Add 2 x3 2 Mul x0 Mul -1 Mul Mul Mul Add 2 x3 2 Pow Add 1 Mul -1 Mul Mul Add x0 5 Mul Add 2 x3 2 Mul Add x0 5 Mul Add 2 x3 2 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul Add x0 5 Mul Add 2 x3 2 acoth Mul Add x0 5 Mul Add 2 x3 2 -1 1 