sqrt acos Add Pow cosh x0 Pow x0 Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 x5 
Mul Pow Mul 2 sqrt acos Add Pow cosh x0 Pow x0 Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 x5 -1 Mul -1 Mul Mul Pow cosh x0 Add Pow x0 Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 -1 Add Mul Pow x0 Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow x0 Add Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 -1 Add Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 Mul Mul x0 log x0 Add Mul x3 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow x0 x0 Add Add Add pi x0 atan x0 Mul x0 Add 1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Pow cosh x0 Pow x0 Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 x5 Add Pow cosh x0 Pow x0 Add Mul Mul Pow x0 x0 x0 x3 Mul x0 Add Add pi x0 atan x0 x5 -1 