asech Mul E atanh asin Add Add 8165619676597685 x0 -4 
Mul Mul E Mul Pow sqrt Add 1 Mul -1 Mul Add Add 8165619676597685 x0 -4 Add Add 8165619676597685 x0 -4 -1 Pow Add 1 Mul -1 Mul asin Add Add 8165619676597685 x0 -4 asin Add Add 8165619676597685 x0 -4 -1 Pow Mul Mul Mul E atanh asin Add Add 8165619676597685 x0 -4 Mul E atanh asin Add Add 8165619676597685 x0 -4 sqrt Add 1 Mul -1 Pow Mul Mul E atanh asin Add Add 8165619676597685 x0 -4 Mul E atanh asin Add Add 8165619676597685 x0 -4 -1 -1 