Mul acot Add E Mul cosh x0 Add Add x0 acos Mul x0 Pow Add x3 Add x2 x7 3 x0 atan x0 
Add Mul atan x0 Mul -1 Mul Add Mul Add Add x0 acos Mul x0 Pow Add x3 Add x2 x7 3 x0 sinh x0 Mul cosh x0 Add Add 1 Mul -1 Mul Pow Add x3 Add x2 x7 3 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow Add x3 Add x2 x7 3 Mul x0 Pow Add x3 Add x2 x7 3 -1 1 Pow Add 1 Mul Add E Mul cosh x0 Add Add x0 acos Mul x0 Pow Add x3 Add x2 x7 3 x0 Add E Mul cosh x0 Add Add x0 acos Mul x0 Pow Add x3 Add x2 x7 3 x0 -1 Mul acot Add E Mul cosh x0 Add Add x0 acos Mul x0 Pow Add x3 Add x2 x7 3 x0 Pow Add 1 Mul x0 x0 -1 