acosh Mul Pow x0 Add x0 Add Pow Add sqrt acot x0 x6 x7 x0 1.31811607165282 
Mul Mul 1.31811607165282 Mul Pow x0 Add Add x0 Add Pow Add sqrt acot x0 x6 x7 x0 -1 Add Add x0 Add Pow Add sqrt acot x0 x6 x7 x0 Mul Mul x0 log x0 Add 1 Add Mul Pow Add sqrt acot x0 x6 Add x7 -1 Mul x7 Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Pow Mul sqrt Add Mul Pow x0 Add x0 Add Pow Add sqrt acot x0 x6 x7 x0 1.31811607165282 -1 sqrt Add 1 Mul Pow x0 Add x0 Add Pow Add sqrt acot x0 x6 x7 x0 1.31811607165282 -1 