Mul x7 Mul acot Pow x6 x0 Add Pow Pow 0.881378981812722 acosh x1 acos x0 Mul x3 Add x6 x0 
Mul x7 Add Mul Add Pow Pow 0.881378981812722 acosh x1 acos x0 Mul x3 Add x6 x0 Mul -1 Mul Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul Pow x6 x0 Pow x6 x0 -1 Mul acot Pow x6 x0 Add Mul Pow Pow 0.881378981812722 acosh x1 Add acos x0 -1 Mul Mul Pow 0.881378981812722 acosh x1 log Pow 0.881378981812722 acosh x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 x3 