Add acoth Mul 8165619676597685 Mul x0 x0 Mul Mul x0 Add acoth Mul 0.523598775598299 x0 Mul -3 asech x3 -3 
Add Mul Mul 8165619676597685 Add x0 x0 Pow Add 1 Mul -1 Mul Mul 8165619676597685 Mul x0 x0 Mul 8165619676597685 Mul x0 x0 -1 Mul -3 Add Add acoth Mul 0.523598775598299 x0 Mul -3 asech x3 Mul x0 Mul 0.523598775598299 Pow Add 1 Mul -1 Mul Mul 0.523598775598299 x0 Mul 0.523598775598299 x0 -1 