atan Pow Add asinh sinh x7 x0 Mul Add x0 Add x0 Add pi x0 Add x0 3 
Mul Mul Pow Add asinh sinh x7 x0 Add Mul Add x0 Add x0 Add pi x0 Add x0 3 -1 Add Mul Add x0 Add x0 Add pi x0 Add x0 3 Mul Mul Add asinh sinh x7 x0 log Add asinh sinh x7 x0 Add Mul Add x0 3 3 Add x0 Add x0 Add pi x0 Pow Add 1 Mul Pow Add asinh sinh x7 x0 Mul Add x0 Add x0 Add pi x0 Add x0 3 Pow Add asinh sinh x7 x0 Mul Add x0 Add x0 Add pi x0 Add x0 3 -1 