Mul Pow Add Add asin x7 Mul sec x0 x0 8165619676597685 x0 36303269642452196384859917763797885102040289230474827686005091752633270265708544 
Mul 36303269642452196384859917763797885102040289230474827686005091752633270265708544 Mul Pow Add Add asin x7 Mul sec x0 x0 8165619676597685 Add x0 -1 Add Mul x0 Add Mul x0 Mul tan x0 sec x0 sec x0 Mul Add Add asin x7 Mul sec x0 x0 8165619676597685 log Add Add asin x7 Mul sec x0 x0 8165619676597685 