Mul cos Add Add Pow x0 Add acot x0 2 x0 Pow 0.546302489843790 x0 cosh Pow asin x5 x0 
Add Mul cosh Pow asin x5 x0 Mul Mul -1 sin Add Add Pow x0 Add acot x0 2 x0 Pow 0.546302489843790 x0 Add Add Mul Pow x0 Add Add acot x0 2 -1 Add Add acot x0 2 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Pow 0.546302489843790 Add x0 -1 -0.0582799560978011 Mul cos Add Add Pow x0 Add acot x0 2 x0 Pow 0.546302489843790 x0 Mul sinh Pow asin x5 x0 Mul Pow asin x5 Add x0 -1 Mul asin x5 log asin x5 