acot Mul Pow cosh Add Pow 3 Add Mul Add x0 atanh atanh x1 x0 x5 acosh asin Pow 4 pi Mul x3 x0 pi 
Mul -1 Mul Mul pi Mul Pow cosh Add Pow 3 Add Mul Add x0 atanh atanh x1 x0 x5 acosh asin Pow 4 pi Add Mul x3 x0 -1 Add Mul Mul x3 x0 Mul sinh Add Pow 3 Add Mul Add x0 atanh atanh x1 x0 x5 acosh asin Pow 4 pi Mul Pow 3 Add Add Mul Add x0 atanh atanh x1 x0 x5 -1 Mul 4.09861228866811 Add x0 Add x0 atanh atanh x1 Mul Mul cosh Add Pow 3 Add Mul Add x0 atanh atanh x1 x0 x5 acosh asin Pow 4 pi log cosh Add Pow 3 Add Mul Add x0 atanh atanh x1 x0 x5 acosh asin Pow 4 pi x3 Pow Add 1 Mul Mul Pow cosh Add Pow 3 Add Mul Add x0 atanh atanh x1 x0 x5 acosh asin Pow 4 pi Mul x3 x0 pi Mul Pow cosh Add Pow 3 Add Mul Add x0 atanh atanh x1 x0 x5 acosh asin Pow 4 pi Mul x3 x0 pi -1 