Pow Pow Mul 4 Pow Mul x7 Pow exp Add x3 x0 exp x0 x0 Pow Mul Pow Add x0 x0 sqrt acosh x0 5 -4 -1 
Mul Pow Pow Mul 4 Pow Mul x7 Pow exp Add x3 x0 exp x0 x0 Pow Mul Pow Add x0 x0 sqrt acosh x0 5 -4 2 Mul -1 Mul Pow Mul 4 Pow Mul x7 Pow exp Add x3 x0 exp x0 x0 Add Pow Mul Pow Add x0 x0 sqrt acosh x0 5 -4 -1 Add Mul Pow Mul Pow Add x0 x0 sqrt acosh x0 5 -4 Mul 4 Mul Pow Mul x7 Pow exp Add x3 x0 exp x0 Add x0 -1 Add Mul x0 Mul x7 Mul Pow exp Add x3 x0 Add exp x0 -1 Add Mul exp x0 exp Add x3 x0 Mul Mul exp Add x3 x0 log exp Add x3 x0 exp x0 Mul Mul x7 Pow exp Add x3 x0 exp x0 log Mul x7 Pow exp Add x3 x0 exp x0 Mul Mul Mul 4 Pow Mul x7 Pow exp Add x3 x0 exp x0 x0 log Mul 4 Pow Mul x7 Pow exp Add x3 x0 exp x0 x0 Mul Pow Mul Pow Add x0 x0 sqrt acosh x0 5 5 Mul -4 Mul 5 Mul Pow Add x0 x0 Add sqrt acosh x0 -1 Add Mul sqrt acosh x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 