Add x1 Pow acot acosh Mul 0.367879441171442 acot x5 x0 
Mul Pow acot acosh Mul 0.367879441171442 acot x5 Add x0 -1 Mul acot acosh Mul 0.367879441171442 acot x5 log acot acosh Mul 0.367879441171442 acot x5 