Add 1.67865129118910 Add Pow Add sqrt Add log Add acosh x0 x0 0.202732554054082 E sqrt acot x0 acoth x0 
Add Mul Pow Add sqrt Add log Add acosh x0 x0 0.202732554054082 E Add sqrt acot x0 -1 Add Mul sqrt acot x0 Mul Pow Mul 2 sqrt Add log Add acosh x0 x0 0.202732554054082 -1 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Add acosh x0 x0 -1 Mul Mul Add sqrt Add log Add acosh x0 x0 0.202732554054082 E log Add sqrt Add log Add acosh x0 x0 0.202732554054082 E Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 