acot Add log sinh Pow asinh Add x0 x0 Add E 3 x0 
Mul -1 Mul Add Mul Mul cosh Pow asinh Add x0 x0 Add E 3 Mul Pow asinh Add x0 x0 Add Add E 3 -1 Mul Add E 3 Mul 2 Pow sqrt Add 1 Mul Add x0 x0 Add x0 x0 -1 Pow sinh Pow asinh Add x0 x0 Add E 3 -1 1 Pow Add 1 Mul Add log sinh Pow asinh Add x0 x0 Add E 3 x0 Add log sinh Pow asinh Add x0 x0 Add E 3 x0 -1 