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