log Add asech sqrt Add 0.463647609000806 x0 exp x0 
Mul Add Mul Pow Mul 2 sqrt Add 0.463647609000806 x0 -1 Pow Mul Mul sqrt Add 0.463647609000806 x0 sqrt Add 0.463647609000806 x0 sqrt Add 1 Mul -1 Pow Mul sqrt Add 0.463647609000806 x0 sqrt Add 0.463647609000806 x0 -1 -1 exp x0 Pow Add asech sqrt Add 0.463647609000806 x0 exp x0 -1 