Add Add x3 x5 Add Pow log acos x0 Add Pow Mul acosh acoth x0 Pow 3 x0 Add E x0 E -1 
Mul Pow log acos x0 Add Add Pow Mul acosh acoth x0 Pow 3 x0 Add E x0 E -1 Add Mul Add Pow Mul acosh acoth x0 Pow 3 x0 Add E x0 E Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow acos x0 -1 Mul Mul log acos x0 log log acos x0 Mul Pow Mul acosh acoth x0 Pow 3 x0 Add Add E x0 -1 Add Mul Add E x0 Add Mul Pow 3 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acoth x0 -1 sqrt Add 1 acoth x0 -1 Mul acosh acoth x0 Mul Pow 3 Add x0 -1 4.09861228866811 Mul Mul acosh acoth x0 Pow 3 x0 log Mul acosh acoth x0 Pow 3 x0 