Add Pow x6 acosh Add Mul x0 x0 Add Mul Add x7 acot x0 cosh x0 x4 Pow 16331239353195370 Pow x0 x3 
Add Mul Pow x6 Add acosh Add Mul x0 x0 Add Mul Add x7 acot x0 cosh x0 x4 -1 Mul Mul x6 log x6 Mul Add Add x0 x0 Add Mul cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Add x7 acot x0 sinh x0 Pow Mul sqrt Add Add Mul x0 x0 Add Mul Add x7 acot x0 cosh x0 x4 -1 sqrt Add 1 Add Mul x0 x0 Add Mul Add x7 acot x0 cosh x0 x4 -1 Mul Pow 16331239353195370 Add Pow x0 x3 -1 Mul 16331239353195408 Mul Pow x0 Add x3 -1 x3 