Add Add Add x0 Mul Add Add pi -1.44363547517881 x0 cosh x6 acos acoth acot Add x0 Add x0 x0 x0 
Add Add Add 1 cosh x6 Mul -1 Mul Mul Mul -1 Mul 3 Pow Add 1 Mul Add x0 Add x0 x0 Add x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul acot Add x0 Add x0 x0 acot Add x0 Add x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth acot Add x0 Add x0 x0 acoth acot Add x0 Add x0 x0 -1 1 