Mul Pow sec x5 Mul Pow asin Add x0 0.540302305868140 x0 atanh Add x3 x6 Mul x4 cosh pi 
Mul Mul x4 cosh pi Mul Pow sec x5 Add Mul Pow asin Add x0 0.540302305868140 x0 atanh Add x3 x6 -1 Mul Mul sec x5 log sec x5 Mul atanh Add x3 x6 Mul Pow asin Add x0 0.540302305868140 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul Add x0 0.540302305868140 Add x0 0.540302305868140 -1 Mul asin Add x0 0.540302305868140 log asin Add x0 0.540302305868140 