Pow acos Mul Pow 4 acoth Mul x6 0.283662185463226 x3 x0 
Mul Pow acos Mul Pow 4 acoth Mul x6 0.283662185463226 x3 Add x0 -1 Mul acos Mul Pow 4 acoth Mul x6 0.283662185463226 x3 log acos Mul Pow 4 acoth Mul x6 0.283662185463226 x3 