Pow Mul x7 x0 Add acos atanh x0 Pow Add x0 sqrt asech Add Pow 3 exp x7 -1 Add x0 -1.44363547517881 
Mul Pow Mul x7 x0 Add Add acos atanh x0 Pow Add x0 sqrt asech Add Pow 3 exp x7 -1 Add x0 -1.44363547517881 -1 Add Mul Add acos atanh x0 Pow Add x0 sqrt asech Add Pow 3 exp x7 -1 Add x0 -1.44363547517881 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Add Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Mul Pow Add x0 sqrt asech Add Pow 3 exp x7 -1 Add Add x0 -1.44363547517881 -1 Add Add x0 -1.44363547517881 Mul Add x0 sqrt asech Add Pow 3 exp x7 -1 log Add x0 sqrt asech Add Pow 3 exp x7 -1 