Add Add x6 Pow Pow Pow acosh x3 2.09471254726110 Pow Pow 32 Mul -1 Add Mul x0 x4 x0 3 Add x0 x0 acot x6 
Mul Pow Pow Pow acosh x3 2.09471254726110 Pow Pow 32 Mul -1 Add Mul x0 x4 x0 3 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow Pow acosh x3 2.09471254726110 Add Pow Pow 32 Mul -1 Add Mul x0 x4 x0 3 -1 Mul Mul Pow acosh x3 2.09471254726110 log Pow acosh x3 2.09471254726110 Mul Pow Pow 32 Mul -1 Add Mul x0 x4 x0 2 Mul 3 Mul Pow 32 Add Mul -1 Add Mul x0 x4 x0 -1 Mul 35.4657359027997 Mul -1 Add x4 1 Mul Mul Pow Pow acosh x3 2.09471254726110 Pow Pow 32 Mul -1 Add Mul x0 x4 x0 3 log Pow Pow acosh x3 2.09471254726110 Pow Pow 32 Mul -1 Add Mul x0 x4 x0 3 2 