Add Add Mul asech x0 Add Mul Add x5 Mul 7.01525255143453 x7 5 Mul E Pow acoth x5 x0 -3.62686040784702 Add E Pow x0 x0 
Add Add Mul Add Mul Add x5 Mul 7.01525255143453 x7 5 Mul E Pow acoth x5 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul E Mul Pow acoth x5 Add x0 -1 Mul acoth x5 log acoth x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 