Add x0 Pow log acos Pow acsch Add x0 Add x6 x0 x3 1.81844645923207 
Add 1 Mul Pow log acos Pow acsch Add x0 Add x6 x0 x3 0.818446459232067 Mul 1.81844645923207 Mul Mul -1 Mul Mul Pow acsch Add x0 Add x6 x0 Add x3 -1 Mul x3 Pow Mul Mul Add x0 Add x6 x0 Add x0 Add x6 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 Add x6 x0 Add x0 Add x6 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow acsch Add x0 Add x6 x0 x3 Pow acsch Add x0 Add x6 x0 x3 -1 Pow acos Pow acsch Add x0 Add x6 x0 x3 -1 